src/Tools/jEdit/src-base/plugin.scala

 package isabelle.jedit_base
 
 
 import isabelle._
 
-import org.gjt.sp.jedit.{Debug, EBPlugin}
+import org.gjt.sp.jedit.{EBMessage, Debug, EBPlugin}
 import org.gjt.sp.util.SyntaxUtilities
 
 
 class Plugin extends EBPlugin
 {

 
   override def stop()
   {
     Syntax_Style.set_style_extender(new SyntaxUtilities.StyleExtender)
   }
+
+  override def handleMessage(message: EBMessage) { }
 }