--- a/src/Tools/jEdit/src/raw_output_dockable.scala Fri Sep 01 14:58:19 2017 +0200
+++ b/src/Tools/jEdit/src/raw_output_dockable.scala Fri Sep 01 15:15:29 2017 +0200
@@ -8,6 +8,7 @@
import isabelle._
+import isabelle.jedit_base.Dockable
import scala.swing.{TextArea, ScrollPane}