src/Tools/jEdit/src/jedit/Plugin.scala

--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Thu Sep 03 11:52:05 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Thu Sep 03 12:15:39 2009 +0200
@@ -63,7 +63,7 @@
 
   /* settings */
 
-  def default_logic =
+  def default_logic(): String =
   {
     val logic = Isabelle.Property("logic")
     if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC")