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