src/com/sun/javatest/httpd/PageGenerator.java

rev 145 : 7902237: Fixing raw use of parameterized class
Reviewed-by: jjg

@@ -119,11 +119,11 @@
     }
 
     /**
      * Prints the contents of any dictionary in a two column table.
      */
-    public static void writeDictionary(PrintWriter out, Dictionary dict,
+    public static void writeDictionary(PrintWriter out, Dictionary<String, String> dict,
                                        String keyHeader, String valHeader) {
         // XXX should include HTML filtering of strings
 
         if (keyHeader == null) keyHeader = "Key";
         if (valHeader == null) valHeader = "Value";

@@ -146,11 +146,11 @@
             buf.append("<tr><td colspan=2>");
             buf.append("-EMPTY-");
             buf.append("</tr>");
         }
         else {
-            Enumeration keys = dict.keys();
+            Enumeration<?> keys = dict.keys();
             while (keys.hasMoreElements()) {
                 Object key = keys.nextElement();
                 out.println("<tr>");
                 buf.setLength(0);
                 buf.append("<td>");