src/Tools/jEdit/nbproject/project.properties

     ${libs.Isabelle-Pure.classpath}:\
     ${libs.Cobra-Renderer.classpath}:\
     ${libs.Rhino-JavaScript.classpath}:\
     ${libs.ErrorList.classpath}:\
     ${libs.Hyperlinks.classpath}:\
-    ${libs.SideKick.classpath}
+    ${libs.SideKick.classpath}:\
+    ${libs.Console.classpath}:\
+    ${libs.Scala-compiler.classpath}
 # Space-separated list of extra javac options
 javac.compilerargs=
 javac.deprecation=false
 javac.source=1.5
 javac.target=1.5