src/Tools/jEdit/src/simplifier_trace_dockable.scala

 
 
 import isabelle._
 
 import scala.actors.Actor._
-
 import scala.swing.{Button, CheckBox, Orientation, Separator}
 import scala.swing.event.ButtonClicked
 
 import java.awt.BorderLayout
 import java.awt.event.{ComponentEvent, ComponentAdapter}
 
 import org.gjt.sp.jedit.View
+
 
 class Simplifier_Trace_Dockable(view: View, position: String) extends Dockable(view, position)
 {
   Swing_Thread.require()