--- old/src/java.naming/share/classes/javax/naming/event/package.html	2017-05-12 12:32:10.000000000 +0100
+++ new/src/java.naming/share/classes/javax/naming/event/package.html	2017-05-12 12:32:09.000000000 +0100
@@ -117,7 +117,7 @@
 
 
 The JNDI API Specification and related documents can be found in the
-<a href="../../../../technotes/guides/jndi/index.html">JNDI documentation</a>.
+{@extLink jndi_overview JNDI documentation}.
 
 @since 1.3