diff -r 400e325a5416 -r d5041b68a237 src/Tools/jEdit/jedit_main/scala_console.scala --- a/src/Tools/jEdit/jedit_main/scala_console.scala Thu Apr 21 10:07:17 2022 +0200 +++ b/src/Tools/jEdit/jedit_main/scala_console.scala Thu Apr 21 11:28:50 2022 +0200 @@ -92,10 +92,11 @@ def interrupt(): Unit = running.change({ opt => opt.foreach(_.interrupt()); opt }) private val interp = - Scala.Compiler.context(error = report_error, jar_dirs = JEdit_Lib.directories). - interpreter( - print_writer = new PrintWriter(console_writer, true), - class_loader = new JARClassLoader) + Scala.Compiler.context( + error = report_error, + jar_dirs = JEdit_Lib.directories, + class_loader = Some(new JARClassLoader)). + interpreter(new PrintWriter(console_writer, true)) val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console") { case Start(console) =>