tuned message;

--- a/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 14 16:06:32 2015 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Mon Sep 14 16:06:55 2015 +0200
@@ -104,7 +104,7 @@
   echo "    -n           no build of session image on startup"
   echo "    -s           system build mode for session image"
   echo
-  echo "  Start jEdit with Isabelle plugin setup and open theory FILES"
+  echo "  Start jEdit with Isabelle plugin setup and open FILES"
   echo "  (default \"$USER_HOME/Scratch.thy\")."
   echo
   exit 1