--- old/src/java.logging/share/classes/java/util/logging/package.html 2017-05-12 12:32:08.000000000 +0100 +++ new/src/java.logging/share/classes/java/util/logging/package.html 2017-05-12 12:32:08.000000000 +0100 @@ -115,8 +115,7 @@

For an overview of control flow, please refer to the - -Java Logging Overview. +{@extLink logging_overview Java Logging Overview}