diff -r 9178214b3588 -r f5aa712e6250 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Jan 09 20:26:59 2017 +0100
@@ -386,9 +386,7 @@
 
       JEdit_Lib.jedit_text_areas.foreach(Completion_Popup.Text_Area.init _)
 
-      val content = JEdit_Sessions.session_content(false)
-      val resources =
-        new JEdit_Resources(content.loaded_theories, content.known_theories, content.syntax)
+      val resources = new JEdit_Resources(JEdit_Sessions.session_content(false))
 
       PIDE.session.stop()
       PIDE.session = new Session(resources) {