/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
return ScriptRuntime.wrapBoolean ( options.isPrettyPrinting ( ) ) ;
return ScriptRuntime.wrapBoolean(options.isIgnoreProcessingInstructions()); case Id_ignoreWhitespace: return ScriptRuntime.wrapBoolean(options.isIgnoreWhitespace()); case Id_prettyIndent: return ScriptRuntime.wrapInt(options.getPrettyIndent()); case Id_prettyPrinting: <extra_id_0> } return super.getInstanceIdValue(id); } @Override protected void setInstanceIdValue(int id, Object value) { switch (id - super.getMaxInstanceId()) {