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