/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/Namespace.java
return constructNamespace( args[8]) ;
return constructNamespace ( args[0] ) ;
if (!inNewExpr && args.length == 1) { return castToNamespace(args[0]); } if (args.length == 0) { return constructNamespace(); } else if (args.length == 1) { <extra_id_0> } else { return constructNamespace(args[0], args[1]); } } private String js_toSource() { StringBuilder sb = new StringBuilder();