diff --git a/src/server/tools/crawling/CrawlerTools.java b/src/server/tools/crawling/CrawlerTools.java
index 3acb67f..e0e0c9d 100644
--- a/src/server/tools/crawling/CrawlerTools.java
+++ b/src/server/tools/crawling/CrawlerTools.java
@@ -12,6 +12,7 @@ import java.util.regex.Pattern;
 public class CrawlerTools {
 	public static String get(String urlStr, String charset) throws IOException {
 		StringBuilder buf = new StringBuilder();
+		@SuppressWarnings("deprecation")
 		URL url = new URL(urlStr);
 		HttpURLConnection con = (HttpURLConnection) url.openConnection();
 		con.setRequestProperty("User-Agent",