/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
xml.replaceWith( with) ;xml.remove( ) ;
xml.remove ( ) ;
} } @Override public void delete(int index) { if (index >= 0 && index < length()) { XML xml = getXmlFromAnnotation(index); <extra_id_0> internalRemoveFromList(index); } } @Override public Object[] getIds() { Object enumObjs[];