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

 import isabelle.IsarDocument
 
 
 class Prover(isabelle_system: IsabelleSystem)
 {
-  private var process: Isar = null
-
-  private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
-
-
   /* outer syntax keywords */
 
   val decl_info = new EventBus[(String, String)]
 
   private val keyword_decls = new mutable.HashSet[String] {

   */
   decl_info += (k_v => _completions += k_v._1)
 
 
   /* event handling */
+
+  private var process: Isar = null
+
+  private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
+
 
   private var initialized = false
 
   val activated = new EventBus[Unit]
   val command_info = new EventBus[Command]

     }
   }
 
 
   def start(logic: String) {
-    val results = new EventBus[IsabelleProcess.Result]
-    results += handle_result
+    val results = new EventBus[IsabelleProcess.Result] + handle_result
     results.logger = Log.log(Log.ERROR, null, _)
     process = new Isar(isabelle_system, results, "-m", "xsymbols", logic)
   }
 
   def stop() {