--- old/src/java.base/share/classes/sun/security/provider/PolicyFile.java	2018-03-07 17:31:04.000000000 -0800
+++ new/src/java.base/share/classes/sun/security/provider/PolicyFile.java	2018-03-07 17:31:04.000000000 -0800
@@ -30,7 +30,7 @@
 import java.net.MalformedURLException;
 import java.net.URL;
 import java.net.URI;
-import java.nio.file.Paths;
+import java.nio.file.Path;
 import java.util.*;
 import java.security.*;
 import java.security.cert.Certificate;
@@ -305,7 +305,7 @@
             public URL run() {
                 String sep = File.separator;
                 try {
-                    return Paths.get(System.getProperty("java.home"),
+                    return Path.get(System.getProperty("java.home"),
                                      "lib", "security",
                                      "default.policy").toUri().toURL();
                 } catch (MalformedURLException mue) {