diff options
author | Benjamin Jones <bjones@galois.com> | 2012-11-26 16:04:36 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-11-26 16:04:36 -0800 |
commit | eb3988216d6c45ebebd692c17291e8a22c89eb6b (patch) | |
tree | a9ba78ccfb6e4f67d4c2379c314d7e61c7f8be74 /headless | |
parent | defdb844c3b03230649e93e09eb4499891ed2728 (diff) |
minor changes to appease Eclipse gods
Diffstat (limited to 'headless')
-rw-r--r-- | headless/src/test/java/com/galois/fiveui/NanoHTTPD.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java b/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java index bb6aa35..53434be 100644 --- a/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java +++ b/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java @@ -89,7 +89,7 @@ public class NanoHTTPD { myOut.println( method + " '" + uri + "' " ); - Enumeration e = header.propertyNames(); + Enumeration<?> e = header.propertyNames(); while ( e.hasMoreElements()) { String value = (String)e.nextElement(); @@ -605,7 +605,7 @@ public class NanoHTTPD { int matchcount = 0; int matchbyte = -1; - Vector matchbytes = new Vector(); + Vector<Integer> matchbytes = new Vector<Integer>(); for (int i=0; i<b.length; i++) { if (b[i] == boundary[matchcount]) @@ -766,7 +766,7 @@ public class NanoHTTPD if ( header != null ) { - Enumeration e = header.keys(); + Enumeration<Object> e = header.keys(); while ( e.hasMoreElements()) { String key = (String)e.nextElement(); @@ -809,6 +809,7 @@ public class NanoHTTPD * URL-encodes everything between "/"-characters. * Encodes spaces as '%20' instead of '+'. */ + @SuppressWarnings("deprecation") private String encodeUri( String uri ) { String newUri = ""; @@ -1040,7 +1041,7 @@ public class NanoHTTPD /** * Hashtable mapping (String)FILENAME_EXTENSION -> (String)MIME_TYPE */ - private static Hashtable theMimeTypes = new Hashtable(); + private static Hashtable<String, String> theMimeTypes = new Hashtable<String, String>(); static { StringTokenizer st = new StringTokenizer( |