/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
return options.getPrettyIndent( ) ;
return options.isPrettyPrinting ( ) ;
@Override public boolean isIgnoreWhitespace() { return options.isIgnoreWhitespace(); } @Override public boolean isPrettyPrinting() { <extra_id_0> } @Override public int getPrettyIndent() { return options.getPrettyIndent(); } private Scriptable globalScope;