--- old/src/demo/share/jfc/Notepad/ElementTreePanel.java	2020-01-22 16:03:38.000000000 -0800
+++ new/src/demo/share/jfc/Notepad/ElementTreePanel.java	2020-01-22 16:03:38.000000000 -0800
@@ -115,7 +115,7 @@
 
                 if (as != null) {
                     StringBuilder retBuffer = new StringBuilder("[");
-                    Enumeration names = as.getAttributeNames();
+                    Enumeration<?> names = as.getAttributeNames();
 
                     while (names.hasMoreElements()) {
                         Object nextName = names.nextElement();