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

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