--- old/src/java.naming/share/classes/javax/naming/directory/package.html 2017-05-12 12:32:09.000000000 +0100 +++ new/src/java.naming/share/classes/javax/naming/directory/package.html 2017-05-12 12:32:09.000000000 +0100 @@ -82,7 +82,7 @@

Package Specification

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