src/Tools/jEdit/src/debugger_dockable.scala

 
 package isabelle.jedit
 
 
 import isabelle._
+import isabelle.jedit_base.Dockable
 
 import java.awt.{BorderLayout, Dimension}
 import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent, FocusAdapter, FocusEvent,
   MouseEvent, MouseAdapter}
 import javax.swing.{JTree, JMenuItem}