src/Tools/jEdit/src/prover/Prover.scala

   var document = null : Document
 
   def fireChange(c : Command) =
     inUIThread(() => commandInfo.fire(new CommandChangeInfo(c)))
 
-  var workerThread = new Thread("isabelle.Prover: worker") {
+  val worker_thread = new Thread("isabelle.Prover: worker") {
     override def run() : Unit = {
       while (true) {
         val r = process.get_result
         
         val id = if (r.props != null) r.props.getProperty("id") else null

       }
     }
   }
   
   def handleResult(st : Command, r : Result, tree : XML.Tree) {
-    //TODO: this is just for testing
-    allInfo.fire(r)
-    
+
     r.kind match {
       case IsabelleProcess.Kind.ERROR => 
         if (st.phase != Phase.REMOVED && st.phase != Phase.REMOVE)
           st.phase = Phase.FAILED
         st.addResult(tree)

   
   def start(logic : String) {
     if (logic != null)
       _logic = logic
     process = new IsabelleProcess("-m", "xsymbols", _logic)
-    workerThread.start
+    worker_thread.start
   }
 
   def stop() {
     process.kill
   }

     cmd.phase = Phase.UNPROCESSED
   }
   
   def remove(cmd : Command) {
     cmd.phase = Phase.REMOVE
-    process.output_sync("Isar.remove " + encode_string(cmd.idString))
+      process.output_sync("Isar.remove " + encode_string(cmd.idString))
+
   }
 }