--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/PackageTreeWriter.java	2018-02-02 13:16:32.060453814 -0800
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/PackageTreeWriter.java	2018-02-02 13:16:31.712438575 -0800
@@ -103,7 +103,7 @@
                                 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();
     }
@@ -192,7 +192,7 @@
         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));
         }
     }
@@ -207,7 +207,7 @@
         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));
         }
     }