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