src/Tools/jEdit/src/document_model.scala

 
   sealed case class File_Content(text: String)
   {
     lazy val bytes: Bytes = Bytes(text)
     lazy val chunk: Symbol.Text_Chunk = Symbol.Text_Chunk(text)
-    lazy val bibtex_entries: List[(String, Text.Offset)] = Bibtex_JEdit.parse_entries(text)
+    lazy val bibtex_entries: List[(String, Text.Offset)] =
+      try { Bibtex.parse_entries(text) }
+      catch { case ERROR(msg) => Output.warning(msg); Nil }
   }
 }
 
 trait Document_Model extends Document.Model
 {

   def get_blob: Option[Document.Blob] =
     if (is_theory) None
     else Some(Document.Blob(content.bytes, content.chunk, pending_edits.nonEmpty))
 
   def bibtex_entries: List[(String, Text.Offset)] =
-    if (Bibtex_JEdit.check(node_name)) content.bibtex_entries else Nil
+    if (Bibtex.check_name(node_name)) content.bibtex_entries else Nil
 
 
   /* edits */
 
   def update_text(text: String): Option[File_Model] =

 
   private def reset_bibtex_entries(): Unit = GUI_Thread.require { _bibtex_entries = None }
 
   def bibtex_entries: List[(String, Text.Offset)] =
     GUI_Thread.require {
-      if (Bibtex_JEdit.check(buffer)) {
+      if (Bibtex.check_name(node_name)) {
         _bibtex_entries match {
           case Some(entries) => entries
           case None =>
             val text = JEdit_Lib.buffer_text(buffer)
-            val entries = Bibtex_JEdit.parse_entries(text)
+            val entries =
+              try { Bibtex.parse_entries(text) }
+              catch { case ERROR(msg) => Output.warning(msg); Nil }
             _bibtex_entries = Some(entries)
             entries
         }
       }
       else Nil