/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
return options.isIgnoreWhitespace( ) ;options.setIgnoreWhitespace( b) ;
options.setIgnoreWhitespace ( b ) ;
@Override public void setIgnoreComments(boolean b) { options.setIgnoreComments(b); } @Override public void setIgnoreWhitespace(boolean b) { <extra_id_0> } @Override public void setIgnoreProcessingInstructions(boolean b) { options.setIgnoreProcessingInstructions(b); } @Override