/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlProcessor.java
} if ( builder != null) returnDocumentBuilderToPool( builder) ;
if ( builder != null ) returnDocumentBuilderToPool ( builder ) ; }
try { builder = getDocumentBuilderFromPool(); return builder.newDocument(); } catch (javax.xml.parsers.ParserConfigurationException ex) { throw new RuntimeException(ex); } finally { <extra_id_0> } private String toString(Node node) { javax.xml.transform.dom.DOMSource source = new javax.xml.transform.dom.DOMSource(node); java.io.StringWriter writer = new java.io.StringWriter(); javax.xml.transform.stream.StreamResult result = new javax.xml.transform.stream.StreamResult(writer);