/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLCtor.java
options.setPrettyIndent( ) ;
options.setDefault ( ) ;
writeSetting(obj); return obj; } case Id_setSettings: { if (args.length == 0 || args[0] == null || args[0] == Undefined.instance) { <extra_id_0> } else if (args[0] instanceof Scriptable) { readSettings((Scriptable) args[0]); } return Undefined.instance; } }