/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/Namespace.java
return constructNamespace( args[4], args[1]) ;
return constructNamespace ( args[0], args[1] ) ;
} if (args.length == 0) { return constructNamespace(); } else if (args.length == 1) { return constructNamespace(args[0]); } else { <extra_id_0> } } private String js_toSource() { StringBuilder sb = new StringBuilder(); sb.append('('); toSourceImpl(ns.getPrefix(), ns.getUri(), sb);