/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
xml.deleteXMLProperty(name);
if ( xml.isElement ( ) ) { xml.deleteXMLProperty ( name ) ; }
} } @Override void deleteXMLProperty(XMLName name) { for (int i = 0; i < length(); i++) { XML xml = getXmlFromAnnotation(i); <extra_id_0> } } @Override public void delete(int index) { if (index >= 0 && index < length()) { XML xml = getXmlFromAnnotation(index);