/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlNode.java
if ( existingPrefix.equals ( namespace.getPrefix ( ) ) ) { declareNamespace ( existingPrefix, getDefaultNamespace ( ) .getUri ( ) ) ; }
} String existingPrefix = getExistingPrefixFor(namespace); if (existingPrefix != null) { if (namespace.isUnspecifiedPrefix()) { declareNamespace(existingPrefix, getDefaultNamespace().getUri()); } else { <extra_id_0> } } else { } } private void setProcessingInstructionName(String localName) { org.w3c.dom.ProcessingInstruction pi = (ProcessingInstruction) this.dom;