src/Pure/System/isabelle_system.scala

       yield c1.getDeclaredConstructor().newInstance().asInstanceOf[C]
 
 
   /* init settings + services */
 
-  def make_services(): List[Class[Service]] = {
+  def get_services(): List[Class[Service]] = {
     def make(where: String, names: List[String]): List[Class[Service]] = {
       for (name <- names) yield {
         def err(msg: String): Nothing =
           error("Bad Isabelle/Scala service " + quote(name) + " in " + where + "\n" + msg)
         try { Class.forName(name).asInstanceOf[Class[Service]] }

 
     def from_jar(platform_jar: String): List[Class[Service]] =
       make(quote(platform_jar),
         isabelle.setup.Build.get_services(JPath.of(platform_jar)).asScala.toList)
 
-    from_env("ISABELLE_SCALA_SERVICES") ::: Scala.class_path().flatMap(from_jar)
+    from_env("ISABELLE_SCALA_SERVICES") ::: Scala.get_classpath().flatMap(from_jar)
   }
 
   def init(isabelle_root: String = "", cygwin_root: String = ""): Unit = {
     isabelle.setup.Environment.init(isabelle_root, cygwin_root)
-    synchronized { if (_services.isEmpty) { _services = Some(make_services()) } }
+    synchronized { if (_services.isEmpty) { _services = Some(get_services()) } }
   }
 
 
   /* getetc -- static distribution parameters */