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