src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Tue Jul 12 16:04:15 2022 +0200
+++ b/src/Pure/System/scala.scala	Tue Jul 12 16:11:14 2022 +0200
@@ -100,7 +100,7 @@
 
   /** compiler **/
 
-  def class_path(): List[String] =
+  def get_classpath(): List[String] =
     space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
       .filter(_.nonEmpty)
 
@@ -172,7 +172,7 @@
         File.find_files(dir, file => file.getName.endsWith(".jar")).
           map(File.absolute_name)
 
-      val classpath = (class_path() ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
+      val classpath = (get_classpath() ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
       val settings1 = isabelle_settings ::: settings ::: List("-classpath", classpath)
       new Context(settings1, class_loader)
     }