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