tuned usage;

--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 10 13:41:03 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Sep 10 13:43:09 2011 +0200
@@ -57,6 +57,7 @@
   echo "    -m MODE      add print mode for output"
   echo
   echo "Start jEdit with Isabelle plugin setup and opens theory FILES"
+  echo "(default Scratch.thy)."
   echo
   exit 1
 }