src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/PackageWriterImpl.java

@@ -103,12 +103,12 @@
      * @param prev          Previous package in the sorted array.
      * @param next            Next package in the sorted array.
      */
     public PackageWriterImpl(HtmlConfiguration configuration,
             PackageElement packageElement, PackageElement prev, PackageElement next) {
-        super(configuration, DocPath
-                .forPackage(packageElement)
+        super(configuration, 
+                configuration.docPaths.forPackage(packageElement)
                 .resolve(DocPaths.PACKAGE_SUMMARY));
         this.prev = prev;
         this.next = next;
         this.packageElement = packageElement;
     }

@@ -400,11 +400,11 @@
     public Content getNavLinkPrevious() {
         Content li;
         if (prev == null) {
             li = HtmlTree.LI(contents.prevPackageLabel);
         } else {
-            DocPath p = DocPath.relativePath(packageElement, prev);
+            DocPath p = docPaths.relativePath(packageElement, prev);
             li = HtmlTree.LI(links.createLink(p.resolve(DocPaths.PACKAGE_SUMMARY),
                 contents.prevPackageLabel, "", ""));
         }
         return li;
     }

@@ -418,11 +418,11 @@
     public Content getNavLinkNext() {
         Content li;
         if (next == null) {
             li = HtmlTree.LI(contents.nextPackageLabel);
         } else {
-            DocPath p = DocPath.relativePath(packageElement, next);
+            DocPath p = docPaths.relativePath(packageElement, next);
             li = HtmlTree.LI(links.createLink(p.resolve(DocPaths.PACKAGE_SUMMARY),
                 contents.nextPackageLabel, "", ""));
         }
         return li;
     }