src/Pure/System/classpath.scala

   def jars: List[JFile] = static_jars ::: dynamic_jars
   override def toString: String = jars.mkString("Classpath(", ", ", ")")
 
   def platform_path: String = jars.map(_.getPath).mkString(JFile.pathSeparator)
 
-  val classloader: ClassLoader =
+  val class_loader: ClassLoader =
   {
-    val this_classloader = this.getClass.getClassLoader
-    if (dynamic_jars.isEmpty) this_classloader
+    val this_class_loader = this.getClass.getClassLoader
+    if (dynamic_jars.isEmpty) this_class_loader
     else {
-      new URLClassLoader(dynamic_jars.map(File.url).toArray, this_classloader) {
+      new URLClassLoader(dynamic_jars.map(File.url).toArray, this_class_loader) {
         override def finalize(): Unit = {
           for (jar <- dynamic_jars) {
             try { jar.delete() }
             catch { case _: Throwable => }
           }

 
   private def init_services(where: String, names: List[String]): List[Classpath.Service_Class] = {
     for (name <- names) yield {
       def err(msg: String): Nothing =
         error("Bad Isabelle/Scala service " + quote(name) + " in " + where + "\n" + msg)
-      try { Class.forName(name, true, classloader).asInstanceOf[Classpath.Service_Class] }
+      try { Class.forName(name, true, class_loader).asInstanceOf[Classpath.Service_Class] }
       catch {
         case _: ClassNotFoundException => err("Class not found")
         case exn: Throwable => err(Exn.message(exn))
       }
     }