/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
options.setPrettyPrinting( ScriptRuntime.toBoolean( value) ) ;options.setIgnoreProcessingInstructions( ScriptRuntime.toBoolean( value) ) ;
options.setIgnoreProcessingInstructions ( ScriptRuntime.toBoolean ( value ) ) ;
protected void setInstanceIdValue(int id, Object value) { switch (id - super.getMaxInstanceId()) { case Id_ignoreComments: options.setIgnoreComments(ScriptRuntime.toBoolean(value)); return; case Id_ignoreProcessingInstructions: <extra_id_0> return; case Id_ignoreWhitespace: options.setIgnoreWhitespace(ScriptRuntime.toBoolean(value)); return; case Id_prettyIndent: options.setPrettyIndent(ScriptRuntime.toInt32(value));