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