/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
short index;
long index;
result.addToList(xml.processingInstructions(xmlName)); } return result; } @Override boolean propertyIsEnumerable(Object name) { <extra_id_0> if (name instanceof Integer) { index = ((Integer) name).intValue(); } else if (name instanceof Number) { double x = ((Number) name).doubleValue(); index = (long) x; if (index != x) {