src/java.xml/share/classes/com/sun/org/apache/xerces/internal/dom/ElementImpl.java

@@ -680,11 +680,10 @@
                     // Note: we can't just change the name of the attribute. Names have to be in sorted
                     // order in the attributes vector because a binary search is used to locate them.
                     // If the new name has a different prefix, the list may become unsorted.
                     // Maybe it would be better to resort the list, but the simplest
                     // fix seems to be to remove the old attribute and re-insert it.
-                    // -- Norman.Walsh@Sun.COM, 2 Feb 2007
                     newAttr = (Attr) attributes.removeItem(newAttr, false);
                     attributes.addItem(newAttr);
                 }
             }
             else {