src/Tools/jEdit/src/services.xml

--- a/src/Tools/jEdit/src/services.xml	Sun Oct 05 17:58:36 2014 +0200
+++ b/src/Tools/jEdit/src/services.xml	Sun Oct 05 18:14:26 2014 +0200
@@ -27,7 +27,7 @@
     new isabelle.jedit.Isabelle_Sidekick_Root();
   </SERVICE>
   <SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
-    new isabelle.jedit.Isabelle_Sidekick_Bibtex();
+    new isabelle.jedit.Bibtex_JEdit.Sidekick_Parser();
   </SERVICE>
   <SERVICE CLASS="console.Shell" NAME="Scala">
     new isabelle.jedit.Scala_Console();