src/Tools/jEdit/jedit_main/scala_console.scala

--- a/src/Tools/jEdit/jedit_main/scala_console.scala	Wed Jul 27 09:03:06 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/scala_console.scala	Wed Jul 27 09:27:40 2022 +0200
@@ -90,7 +90,7 @@
   override def openConsole(console: Console): Unit = {
     val context =
       Scala.Compiler.context(
-      jar_dirs = JEdit_Lib.directories,
+      jar_files = JEdit_Lib.directories,
       class_loader = Some(new JARClassLoader))
 
     val interpreter = new Scala_Console.Interpreter(context, console)