tuned;

--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 15:35:30 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 15:42:29 2009 +0100
@@ -85,7 +85,7 @@
     val start = buffer.getLineStartOffset(line)
     val text = buffer.getSegment(start, caret - start)
 
-    val completion = Isabelle.session.keywords.completion
+    val completion = Isabelle.session.keywords().completion
 
     completion.complete(text) match {
       case None => null

--- a/src/Tools/jEdit/src/proofdocument/session.scala	Tue Dec 22 15:35:30 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/session.scala	Tue Dec 22 15:42:29 2009 +0100
@@ -29,7 +29,7 @@
   private case object Stop
 
   @volatile private var _keywords = new Outer_Keyword(system.symbols)
-  def keywords = _keywords
+  def keywords(): Outer_Keyword = _keywords
 
   private var prover: Isabelle_Process with Isar_Document = null
   private var prover_ready = false