prefer absolute default $USER_HOME/Scratch.thy;

--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Nov 17 20:47:56 2012 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Nov 17 21:01:11 2012 +0100
@@ -69,7 +69,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 "(default \"$USER_HOME/Scratch.thy\")."
   echo
   exit 1
 }
@@ -153,7 +153,7 @@
 # args
 
 if [ "$#" -eq 0 ]; then
-  ARGS["${#ARGS[@]}"]="Scratch.thy"
+  ARGS["${#ARGS[@]}"]="$USER_HOME/Scratch.thy"
 else
   while [ "$#" -gt 0 ]; do
     ARGS["${#ARGS[@]}"]="$(jvmpath "$1")"