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