# HG changeset patch
# User wenzelm
# Date 1658740748 -7200
# Node ID 14e22b525b137062f9be59c0fd53ffa1f54a4450
# Parent  048bbe0bf807a07159714e59feab94283aa305b5
tuned signature;

diff -r 048bbe0bf807 -r 14e22b525b13 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Jul 23 12:19:45 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon Jul 25 11:19:08 2022 +0200
@@ -76,9 +76,6 @@
   def init_services_jar(jar: Path): List[Class[Service]] =
     init_services(jar.toString, isabelle.setup.Build.get_services(jar.java_path).asScala.toList)
 
-  def init_services_jar(platform_jar: String): List[Class[Service]] =
-    init_services_jar(Path.explode(File.standard_path(platform_jar)))
-
   def init(isabelle_root: String = "", cygwin_root: String = ""): Unit = {
     isabelle.setup.Environment.init(isabelle_root, cygwin_root)
     synchronized {
diff -r 048bbe0bf807 -r 14e22b525b13 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Sat Jul 23 12:19:45 2022 +0200
+++ b/src/Pure/System/scala.scala	Mon Jul 25 11:19:08 2022 +0200
@@ -100,9 +100,11 @@
 
   /** compiler **/
 
-  def get_classpath(): List[String] =
-    space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
-      .filter(_.nonEmpty)
+  def get_classpath(): List[Path] =
+    for {
+      s <- space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
+      if s.nonEmpty
+    } yield Path.explode(File.standard_path(s))
 
   object Compiler {
     object Message {