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

@@ -101,11 +101,11 @@
      */
     public static void generate(HtmlConfiguration configuration,
                                 PackageElement pkg, PackageElement prev,
                                 PackageElement next, boolean noDeprecated)
             throws DocFileIOException {
-        DocPath path = DocPath.forPackage(pkg).resolve(DocPaths.PACKAGE_TREE);
+        DocPath path = configuration.docPaths.forPackage(pkg).resolve(DocPaths.PACKAGE_TREE);
         PackageTreeWriter packgen = new PackageTreeWriter(configuration, path, pkg, prev, next);
         packgen.generatePackageTreeFile();
     }
 
     /**

@@ -190,11 +190,11 @@
     @Override
     protected Content getNavLinkPrevious() {
         if (prev == null) {
             return getNavLinkPrevious(null);
         } else {
-            DocPath path = DocPath.relativePath(packageElement, prev);
+            DocPath path = docPaths.relativePath(packageElement, prev);
             return getNavLinkPrevious(path.resolve(DocPaths.PACKAGE_TREE));
         }
     }
 
     /**

@@ -205,11 +205,11 @@
     @Override
     protected Content getNavLinkNext() {
         if (next == null) {
             return getNavLinkNext(null);
         } else {
-            DocPath path = DocPath.relativePath(packageElement, next);
+            DocPath path = docPaths.relativePath(packageElement, next);
             return getNavLinkNext(path.resolve(DocPaths.PACKAGE_TREE));
         }
     }
 
     /**