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

*** 1807,1817 ****
                  out.print("<" + getName());
              }
              if (getAttributeCount() > 0) {
                  out.println("");
                  // dump the attributes
!                 Enumeration names = attributes.getAttributeNames();
                  while (names.hasMoreElements()) {
                      Object name = names.nextElement();
                      indent(out, indentAmount + 1);
                      out.println(name + "=" + getAttribute(name));
                  }
--- 1807,1817 ----
                  out.print("<" + getName());
              }
              if (getAttributeCount() > 0) {
                  out.println("");
                  // dump the attributes
!                 Enumeration<?> names = attributes.getAttributeNames();
                  while (names.hasMoreElements()) {
                      Object name = names.nextElement();
                      indent(out, indentAmount + 1);
                      out.println(name + "=" + getAttribute(name));
                  }
*** 2191,2201 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver as an <code>Enumeration</code>
           */
!         public abstract Enumeration children();
  
  
          // --- serialization ---------------------------------------------
  
          private void writeObject(ObjectOutputStream s) throws IOException {
--- 2191,2201 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver as an <code>Enumeration</code>
           */
!         public abstract Enumeration<?> children();
  
  
          // --- serialization ---------------------------------------------
  
          private void writeObject(ObjectOutputStream s) throws IOException {
*** 2454,2464 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration children() {
              if(nchildren == 0)
                  return null;
  
              Vector<AbstractElement> tempVector = new Vector<AbstractElement>(nchildren);
  
--- 2454,2464 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration<AbstractElement> children() {
              if(nchildren == 0)
                  return null;
  
              Vector<AbstractElement> tempVector = new Vector<AbstractElement>(nchildren);
  
*** 2608,2618 ****
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration children() {
              return null;
          }
  
          // --- serialization ---------------------------------------------
  
--- 2608,2618 ----
          /**
           * Returns the children of the receiver as an
           * <code>Enumeration</code>.
           * @return the children of the receiver
           */
!         public Enumeration<?> children() {
              return null;
          }
  
          // --- serialization ---------------------------------------------