--- old/src/java.base/share/classes/jdk/internal/module/ModulePath.java	2018-03-07 17:31:02.000000000 -0800
+++ new/src/java.base/share/classes/jdk/internal/module/ModulePath.java	2018-03-07 17:31:02.000000000 -0800
@@ -43,7 +43,6 @@
 import java.nio.file.Files;
 import java.nio.file.NoSuchFileException;
 import java.nio.file.Path;
-import java.nio.file.Paths;
 import java.nio.file.attribute.BasicFileAttributes;
 import java.util.ArrayList;
 import java.util.Collections;
@@ -360,7 +359,7 @@
         URI uri = mref.location().orElse(null);
         if (uri != null) {
             if (uri.getScheme().equalsIgnoreCase("file")) {
-                Path file = Paths.get(uri);
+                Path file = Path.get(uri);
                 return file.getFileName().toString();
             } else {
                 return uri.toString();