src/share/classes/javax/swing/text/ElementIterator.java

@@ -359,11 +359,11 @@
         while (true) {
             if ((elem = next()) != null) {
                 System.out.println("elem: " + elem.getName());
                 AttributeSet attr = elem.getAttributes();
                 String s = "";
-                Enumeration names = attr.getAttributeNames();
+                Enumeration<?> names = attr.getAttributeNames();
                 while (names.hasMoreElements()) {
                     Object key = names.nextElement();
                     Object value = attr.getAttribute(key);
                     if (value instanceof AttributeSet) {
                         // don't go recursive