/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/Namespace.java
if ( ns.getPrefix( ) != null) return Undefined.instance;
if ( ns.getPrefix ( ) == null ) return Undefined.instance;
return super.getInstanceIdName(id); } @Override protected Object getInstanceIdValue(int id) { switch (id - super.getMaxInstanceId()) { case Id_prefix: <extra_id_0> return ns.getPrefix(); case Id_uri: return ns.getUri(); } return super.getInstanceIdValue(id); }