src/Tools/jEdit/src-base/plugin.scala

--- a/src/Tools/jEdit/src-base/plugin.scala	Mon Jun 28 13:13:31 2021 +0200
+++ b/src/Tools/jEdit/src-base/plugin.scala	Mon Jun 28 13:45:46 2021 +0200
@@ -17,7 +17,7 @@
 {
   override def start(): Unit =
   {
-    Isabelle_System.init()
+    Isabelle_Env.init()
 
     GUI.use_isabelle_fonts()