src/Tools/jEdit/src/sledgehammer_dockable.scala

 package isabelle.jedit
 
 
 import isabelle._
 
-import scala.swing.{Button, Component, Label, TextField, CheckBox}
+import scala.swing.{Button, Component, Label, CheckBox}
 import scala.swing.event.ButtonClicked
 
 import java.awt.BorderLayout
 import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent}