--- a/src/Tools/jEdit/src/plugin.scala Tue Sep 29 18:39:55 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala Tue Sep 29 23:43:35 2015 +0200
@@ -440,7 +440,6 @@
Debug.DISABLE_SEARCH_DIALOG_POOL = true
PIDE.plugin = this
- Isabelle_System.init()
GUI.install_fonts()
PIDE.options.update(Options.init())