tuned message;

--- a/src/Tools/jEdit/src/session_build.scala	Sat Nov 14 13:48:49 2015 +0100
+++ b/src/Tools/jEdit/src/session_build.scala	Sat Nov 14 18:37:49 2015 +0100
@@ -174,7 +174,7 @@
       progress.echo(out + (if (rc == 0) "OK\n" else "Return code: " + rc + "\n"))
 
       if (rc == 0) Isabelle_Logic.session_start()
-      else progress.echo("Build failed -- prover remains inactive!")
+      else progress.echo("Session build failed -- prover process remains inactive!")
 
       return_code(rc)
     }