src/Tools/jEdit/lib/Tools/jedit

   "src/jedit_lib.scala"
   "src/jedit_options.scala"
   "src/jedit_rendering.scala"
   "src/jedit_resources.scala"
   "src/jedit_sessions.scala"
+  "src/jedit_spell_checker.scala"
   "src/keymap_merge.scala"
   "src/monitor_dockable.scala"
   "src/output_dockable.scala"
   "src/pide_docking_framework.scala"
   "src/plugin.scala"

   "src/scala_console.scala"
   "src/session_build.scala"
   "src/simplifier_trace_dockable.scala"
   "src/simplifier_trace_window.scala"
   "src/sledgehammer_dockable.scala"
-  "src/spell_checker.scala"
   "src/state_dockable.scala"
   "src/symbols_dockable.scala"
   "src/syslog_dockable.scala"
   "src/text_overview.scala"
   "src/text_structure.scala"