diff -r 8e1aac4eed11 -r 6efa351190d0 src/Tools/jEdit/src/monitor_dockable.scala
--- a/src/Tools/jEdit/src/monitor_dockable.scala	Fri Sep 01 14:58:19 2017 +0200
+++ b/src/Tools/jEdit/src/monitor_dockable.scala	Fri Sep 01 15:15:29 2017 +0200
@@ -8,6 +8,7 @@
 
 
 import isabelle._
+import isabelle.jedit_base.Dockable
 
 import java.awt.BorderLayout