src/Tools/jEdit/src/jedit_bibtex.scala

       case text_area: TextArea =>
         text_area.getBuffer match {
           case buffer: Buffer
           if (Bibtex.check_name(JEdit_Lib.buffer_name(buffer)) && buffer.isEditable) =>
             val menu = new JMenu("BibTeX entries")
-            for (entry <- Bibtex.entries) {
+            for (entry <- Bibtex.known_entries) {
               val item = new JMenuItem(entry.kind)
               item.addActionListener(new ActionListener {
                 def actionPerformed(evt: ActionEvent): Unit =
                   Isabelle.insert_line_padding(text_area, entry.template)
               })