diff -r d9f2cf4fc002 -r aeffd8f1f079 src/Tools/jEdit/src/jedit_sessions.scala
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Fri May 18 16:30:20 2018 +0200
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Fri May 18 17:09:55 2018 +0200
@@ -135,7 +135,7 @@
     Isabelle_Process.start(PIDE.session, session_options(options),
       sessions_structure = Some(PIDE.resources.session_base_info.sessions_structure),
       logic = PIDE.resources.session_name,
-      store = Sessions.store(session_build_mode() == "system"),
+      store = Some(Sessions.store(options, session_build_mode() == "system")),
       modes =
         (space_explode(',', options.string("jedit_print_mode")) :::
          space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).reverse,