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