diff -r 3e578ddef85d -r 9399860edb46 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Tue Sep 29 23:43:35 2015 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Sep 30 14:32:26 2015 +0200
@@ -55,6 +55,7 @@
   "src/rendering.scala"
   "src/rich_text_area.scala"
   "src/scala_console.scala"
+  "src/session_build.scala"
   "src/simplifier_trace_dockable.scala"
   "src/simplifier_trace_window.scala"
   "src/sledgehammer_dockable.scala"