src/java.base/share/classes/jdk/internal/module/ModuleBootstrap.java

rev 51675 : 8207690: Parsing API for classpath and similar path strings

@@ -32,10 +32,11 @@
 import java.lang.module.ModuleFinder;
 import java.lang.module.ModuleReference;
 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;
 import java.util.HashSet;
 import java.util.Iterator;

@@ -52,11 +53,10 @@
 import jdk.internal.loader.BootLoader;
 import jdk.internal.loader.BuiltinClassLoader;
 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;
 
 /**
  * Initializes/boots the module system.
  *

@@ -541,16 +541,13 @@
     private static ModuleFinder finderFor(String prop) {
         String s = System.getProperty(prop);
         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);
         }
     }
 
     /**