src/java.xml/share/classes/com/sun/org/apache/xerces/internal/dom/ElementImpl.java
--- a/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/dom/ElementImpl.java Wed Dec 20 17:36:50 2017 +0100
+++ b/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/dom/ElementImpl.java Thu Dec 21 17:08:05 2017 -0800
@@ -682,7 +682,6 @@
// 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);
}