diff -r 5ec68c1a07d8 -r 8f6b2eb15240 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()