diff -r 6a6e90260ee7 -r 0a71b6c903e9 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Tue Jul 26 16:39:11 2022 +0200
+++ b/src/Pure/System/scala.scala	Tue Jul 26 19:06:03 2022 +0200
@@ -174,7 +174,9 @@
         File.find_files(dir, file => file.getName.endsWith(".jar")).
           map(File.absolute_name)
 
-      val classpath = (get_classpath() ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
+      val classpath =
+        (get_classpath().map(File.platform_path) :::
+          jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
       val settings1 = isabelle_settings ::: settings ::: List("-classpath", classpath)
       new Context(settings1, class_loader)
     }