src/Tools/jEdit/src/jedit_resources.scala

 import org.gjt.sp.jedit.io.{VFS, FileVFS, VFSManager}
 import org.gjt.sp.jedit.MiscUtilities
 import org.gjt.sp.jedit.{jEdit, View, Buffer}
 import org.gjt.sp.jedit.bufferio.BufferIORequest
 
+
+object JEdit_Resources
+{
+  val empty: JEdit_Resources =
+    new JEdit_Resources(Set.empty, Map.empty, Outer_Syntax.empty)
+}
 
 class JEdit_Resources(
     loaded_theories: Set[String],
     known_theories: Map[String, Document.Node.Name],
     base_syntax: Outer_Syntax)

         } model.syntax_changed()
       }
     if (change.deps_changed && PIDE.options.bool("jedit_auto_load")) PIDE.deps_changed()
   }
 }
-