From fc0ea0dd455b31d2e4740544854bc33e6741a3e4 Mon Sep 17 00:00:00 2001
From: Fabian Becker <halfdan@xnorfz.de>
Date: Thu, 31 Dec 2015 10:56:39 +0100
Subject: [PATCH] Remove unused class

---
 src/main/java/eva2/tools/URLGetter.java | 42 -------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 src/main/java/eva2/tools/URLGetter.java

diff --git a/src/main/java/eva2/tools/URLGetter.java b/src/main/java/eva2/tools/URLGetter.java
deleted file mode 100644
index 35d73754..00000000
--- a/src/main/java/eva2/tools/URLGetter.java
+++ /dev/null
@@ -1,42 +0,0 @@
-package eva2.tools;
-
-import java.io.BufferedReader;
-import java.io.InputStreamReader;
-import java.net.URL;
-import java.net.URLConnection;
-
-public class URLGetter {
-    public URLGetter() {
-
-    }
-
-    public static String getData(String urlstr) {
-        System.getProperties().put("proxySet", "true");
-        System.getProperties().put("proxyHost",
-                "www-cache.informatik.uni-tuebingen.de");
-        System.getProperties().put("proxyPort", "3128");
-
-        StringBuilder res = new StringBuilder();
-        try {
-            URL url = new URL(urlstr);
-            URLConnection conn = url.openConnection();
-            BufferedReader rd = new BufferedReader(new InputStreamReader(conn.getInputStream()));
-            String line;
-            while ((line = rd.readLine()) != null) {
-                res.append(line + "\n");
-            }
-
-            rd.close();
-
-        } catch (Exception ex) {
-            System.out.println("URLGETTER ERROR: " + ex);
-        }
-
-        return res.toString();
-    }
-
-    public static void main(String[] args) {
-        URLGetter URLGetter1 = new URLGetter();
-    }
-
-}