src/Tools/jEdit/lib/Tools/jedit

   "src/font_info.scala"
   "src/graphview_dockable.scala"
   "src/info_dockable.scala"
   "src/isabelle.scala"
   "src/isabelle_encoding.scala"
-  "src/isabelle_logic.scala"
   "src/isabelle_options.scala"
   "src/isabelle_sidekick.scala"
   "src/jedit_editor.scala"
   "src/jedit_lib.scala"
   "src/jedit_options.scala"
   "src/jedit_resources.scala"
+  "src/jedit_sessions.scala"
   "src/monitor_dockable.scala"
   "src/output_dockable.scala"
   "src/pide_docking_framework.scala"
   "src/plugin.scala"
   "src/pretty_text_area.scala"