/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
options.setIgnoreWhitespace( b) ;options.setPrettyPrinting( b) ;
options.setPrettyPrinting ( b ) ;
@Override public void setIgnoreProcessingInstructions(boolean b) { options.setIgnoreProcessingInstructions(b); } @Override public void setPrettyPrinting(boolean b) { <extra_id_0> } @Override public void setPrettyIndent(int i) { options.setPrettyIndent(i); } @Override