unused;

--- a/src/Tools/jEdit/src/isabelle.scala	Sat Aug 13 21:23:59 2022 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Aug 13 21:42:52 2022 +0200
@@ -11,7 +11,6 @@
 
 import java.awt.{Point, Frame, Rectangle}
 
-import scala.swing.CheckBox
 import scala.swing.event.ButtonClicked
 
 import org.gjt.sp.jedit.{jEdit, View, Buffer, EditBus}