prefer system build mode in main application wrappers, to produce heaps insided distribution directory;

--- a/Admin/MacOS/App1/script	Thu Jan 10 14:40:19 2013 +0100
+++ b/Admin/MacOS/App1/script	Thu Jan 10 15:45:27 2013 +0100
@@ -60,7 +60,7 @@
   ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1
   RC=$?
 else
-  ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1
+  ( "$ISABELLE_TOOL" jedit -s "$@" ) > "$OUTPUT" 2>&1
   RC=$?
 fi
 

--- a/Isabelle	Thu Jan 10 14:40:19 2013 +0100
+++ b/Isabelle	Thu Jan 10 15:45:27 2013 +0100
@@ -4,5 +4,5 @@
 #
 # Default Isabelle application wrapper.
 
-exec "$(dirname "$0")"/bin/isabelle jedit "$@"
+exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"
 

--- a/src/Pure/Tools/main.scala	Thu Jan 10 14:40:19 2013 +0100
+++ b/src/Pure/Tools/main.scala	Thu Jan 10 15:45:27 2013 +0100
@@ -17,7 +17,7 @@
       try {
         Platform.init_laf()
         Isabelle_System.init()
-        Isabelle_System.isabelle_tool("jedit", args: _*)
+        Isabelle_System.isabelle_tool("jedit", ("-s" :: args.toList): _*)
       }
       catch { case exn: Throwable => (Exn.message(exn), 2) }