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

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

*** 119,129 ****
      }
  
      /**
       * Prints the contents of any dictionary in a two column table.
       */
!     public static void writeDictionary(PrintWriter out, Dictionary dict,
                                         String keyHeader, String valHeader) {
          // XXX should include HTML filtering of strings
  
          if (keyHeader == null) keyHeader = "Key";
          if (valHeader == null) valHeader = "Value";
--- 119,129 ----
      }
  
      /**
       * Prints the contents of any dictionary in a two column table.
       */
!     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,156 ****
              buf.append("<tr><td colspan=2>");
              buf.append("-EMPTY-");
              buf.append("</tr>");
          }
          else {
!             Enumeration keys = dict.keys();
              while (keys.hasMoreElements()) {
                  Object key = keys.nextElement();
                  out.println("<tr>");
                  buf.setLength(0);
                  buf.append("<td>");
--- 146,156 ----
              buf.append("<tr><td colspan=2>");
              buf.append("-EMPTY-");
              buf.append("</tr>");
          }
          else {
!             Enumeration<?> keys = dict.keys();
              while (keys.hasMoreElements()) {
                  Object key = keys.nextElement();
                  out.println("<tr>");
                  buf.setLength(0);
                  buf.append("<td>");