--- a/src/Tools/jEdit/src/plugin.scala Thu Jun 23 14:48:32 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala Thu Jun 23 14:52:32 2011 +0200
@@ -9,6 +9,7 @@
import isabelle._
+import java.lang.System
import java.io.{FileInputStream, IOException}
import java.awt.Font