--- a/src/Tools/jEdit/src/spell_checker.scala Sun Apr 13 21:59:37 2014 +0200
+++ b/src/Tools/jEdit/src/spell_checker.scala Sun Apr 13 22:08:00 2014 +0200
@@ -1,7 +1,8 @@
/* Title: Tools/jEdit/src/spell_checker.scala
Author: Makarius
-Spell checker based on JOrtho (see http://sourceforge.net/projects/jortho).
+Spell checker with completion, based on JOrtho (see
+http://sourceforge.net/projects/jortho).
*/
package isabelle.jedit
@@ -11,7 +12,6 @@
import java.lang.Class
import java.util.Locale
-import java.text.BreakIterator
import scala.collection.mutable
import scala.swing.ComboBox