/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlProcessor.java
builder = builder ;
builder = getDocumentBuilderFromPool ( ) ;
if (builder != null) returnDocumentBuilderToPool(builder); } } Document newDocument() { DocumentBuilder builder = null; try { <extra_id_0> return builder.newDocument(); } catch (javax.xml.parsers.ParserConfigurationException ex) { throw new RuntimeException(ex); } finally { if (builder != null) returnDocumentBuilderToPool(builder); }