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