src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala

     val data = new SideKickParsedData(buffer.getName)
 
     val prover_setup = Isabelle.plugin.prover_setup(buffer)
     if (prover_setup.isDefined) {
         val document = prover_setup.get.prover.document
-        val commands = document.commands
-        while (!stopped && commands.hasNext) {
-          data.root.add(commands.next.root_node.swing_node)
-        }
+        for (command <- document.commands)
+          data.root.add(command.root_node.swing_node)
+        
         if (stopped) data.root.add(new DefaultMutableTreeNode("<parser stopped>"))
     } else {
       data.root.add(new DefaultMutableTreeNode("<buffer inactive>"))
     }
 

 
   override def supportsCompletion = true
   override def canCompleteAnywhere = true
   override def getInstantCompletionTriggers = "\\"
 
-  override def complete(pane: EditPane, caret: Int): SideKickCompletion = {
+  override def complete(pane: EditPane, caret: Int): SideKickCompletion = null /*{
     val buffer = pane.getBuffer
     val ps = Isabelle.prover_setup(buffer)
     if (ps.isDefined) {
       val completions = ps.get.prover.completions
       def before_caret(i : Int) = buffer.getText(0 max caret - i, i)

         list.add(decoded)
         if (decoded != s) descriptions.add(s) else descriptions.add(null)
       }
       return new IsabelleSideKickCompletion(pane.getView, text, list, descriptions)
     } else return null
-  }
+  }*/
 
 }
 
 private class IsabelleSideKickCompletion(view: View, text: String,
                                          items: java.util.List[String],