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