/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
if ( index < ( length( ) ) ) {   InternalList newAnnoList = new InternalList( ) ;   newAnnoList.add( _annos, 0, index) ;   newAnnoList.add( xml) ;   newAnnoList.add( _annos, ( index + 1) , length( ) ) ;   _annos = newAnnoList; }
[Delete]
newAnnoList.add(xml); newAnnoList.add(_annos, index + 1, length()); _annos = newAnnoList; } } private void insert(int index, XML xml) { <extra_id_0> XmlNode.InternalList newAnnoList = new XmlNode.InternalList(); newAnnoList.add(_annos, 0, index); newAnnoList.add(xml); newAnnoList.add(_annos, index, length()); _annos = newAnnoList; }