/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
options.setPrettyIndent( ScriptRuntime.toInt32( value) ) ;options.setPrettyPrinting( ScriptRuntime.toBoolean( value) ) ;
options.setPrettyPrinting ( ScriptRuntime.toBoolean ( value ) ) ;
options.setIgnoreWhitespace(ScriptRuntime.toBoolean(value)); return; case Id_prettyIndent: options.setPrettyIndent(ScriptRuntime.toInt32(value)); return; case Id_prettyPrinting: <extra_id_0> return; } super.setInstanceIdValue(id, value); } private static final int Id_defaultSettings = 1, Id_settings = 2,