src/demo/share/jfc/Notepad/ElementTreePanel.java

@@ -113,11 +113,11 @@
                 AttributeSet as = e.getAttributes().copyAttributes();
                 String asString;
 
                 if (as != null) {
                     StringBuilder retBuffer = new StringBuilder("[");
-                    Enumeration names = as.getAttributeNames();
+                    Enumeration<?> names = as.getAttributeNames();
 
                     while (names.hasMoreElements()) {
                         Object nextName = names.nextElement();
 
                         if (nextName != StyleConstants.ResolveAttribute) {