aboutsummaryrefslogtreecommitdiff
path: root/headless
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-11-26 16:04:36 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2012-11-26 16:04:36 -0800
commiteb3988216d6c45ebebd692c17291e8a22c89eb6b (patch)
treea9ba78ccfb6e4f67d4c2379c314d7e61c7f8be74 /headless
parentdefdb844c3b03230649e93e09eb4499891ed2728 (diff)
minor changes to appease Eclipse gods
Diffstat (limited to 'headless')
-rw-r--r--headless/src/test/java/com/galois/fiveui/NanoHTTPD.java9
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(