/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
return options.isIgnoreWhitespace( ) ;
return options.isIgnoreComments ( ) ;
@Override public void setPrettyIndent(int i) { options.setPrettyIndent(i); } @Override public boolean isIgnoreComments() { <extra_id_0> } @Override public boolean isIgnoreProcessingInstructions() { return options.isIgnoreProcessingInstructions(); } @Override