diff -r 49850a679c2c -r af72fa58f71b src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Sat Nov 04 15:24:40 2017 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Nov 04 17:11:21 2017 +0100
@@ -37,16 +37,16 @@
       "isabelle-root",    // session ROOT
       "sml")              // Standard ML (not Isabelle/ML)
 
-  private lazy val ml_syntax: Outer_Syntax =
-    Outer_Syntax.init.no_tokens.
+  private val ml_syntax: Outer_Syntax =
+    Outer_Syntax.empty.no_tokens.
       set_language_context(Completion.Language_Context.ML_outer)
 
-  private lazy val sml_syntax: Outer_Syntax =
-    Outer_Syntax.init.no_tokens.
+  private val sml_syntax: Outer_Syntax =
+    Outer_Syntax.empty.no_tokens.
       set_language_context(Completion.Language_Context.SML_outer)
 
-  private lazy val news_syntax: Outer_Syntax =
-    Outer_Syntax.init.no_tokens
+  private val news_syntax: Outer_Syntax =
+    Outer_Syntax.empty.no_tokens
 
   def mode_syntax(mode: String): Option[Outer_Syntax] =
     mode match {