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