--- old/src/java.base/share/classes/jdk/internal/module/ModuleBootstrap.java	2018-09-10 14:12:22.127490752 -0400
+++ new/src/java.base/share/classes/jdk/internal/module/ModuleBootstrap.java	2018-09-10 14:12:21.491490752 -0400
@@ -34,6 +34,7 @@
 import java.lang.module.ResolvedModule;
 import java.net.URI;
 import java.nio.file.Path;
+import java.nio.file.Paths;
 import java.util.ArrayList;
 import java.util.Collections;
 import java.util.HashMap;
@@ -54,7 +55,6 @@
 import jdk.internal.misc.JavaLangAccess;
 import jdk.internal.misc.JavaLangModuleAccess;
 import jdk.internal.misc.SharedSecrets;
-import jdk.internal.misc.VM;
 import jdk.internal.perf.PerfCounter;
 
 /**
@@ -543,12 +543,9 @@
         if (s == null) {
             return null;
         } else {
-            String[] dirs = s.split(File.pathSeparator);
-            Path[] paths = new Path[dirs.length];
-            int i = 0;
-            for (String dir: dirs) {
-                paths[i++] = Path.of(dir);
-            }
+            Path[] paths = Paths.pathToStrings(s).stream()
+                    .map(Path::of)
+                    .toArray(Path[]::new);
             return ModulePath.of(patcher, paths);
         }
     }