/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
options.setIgnoreProcessingInstructions( ScriptRuntime.toBoolean( value) ) ;options.setPrettyIndent( ScriptRuntime.toInt32( value) ) ;
options.setPrettyIndent ( ScriptRuntime.toInt32 ( value ) ) ;
options.setIgnoreProcessingInstructions(ScriptRuntime.toBoolean(value)); return; case Id_ignoreWhitespace: options.setIgnoreWhitespace(ScriptRuntime.toBoolean(value)); return; case Id_prettyIndent: <extra_id_0> return; case Id_prettyPrinting: options.setPrettyPrinting(ScriptRuntime.toBoolean(value)); return; } super.setInstanceIdValue(id, value);