trol(orig.getID(), orig.getEncodedValue()));
	}
        return null;  // not one of ours
    }
}
</pre></blockquote>

<h2>Package Specification</h2>

The JNDI API Specification and related documents can be found in the
{@extLink jndi_overview JNDI documentation}.

@since 1.3

</body>
</html>
