imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);

--- a/Admin/MacOS/App3/Info.plist	Sat Sep 07 18:24:24 2013 +0200
+++ b/Admin/MacOS/App3/Info.plist	Sat Sep 07 18:37:25 2013 +0200
@@ -34,7 +34,7 @@
 <string>isabelle.Main</string>
 <key>JVMOptions</key>
 <array>
-<string>-Dapple.laf.useScreenMenuBar=true</string>
+<string>-Dapple.laf.useScreenMenuBar=true -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false</string>
 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
 </array>
 <key>JVMArguments</key>

--- a/Admin/lib/Tools/makedist_bundle	Sat Sep 07 18:24:24 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sat Sep 07 18:37:25 2013 +0200
@@ -213,10 +213,11 @@
         cat "$APP_TEMPLATE/Info.plist" | \
           perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;" > "$APP/Contents/Info.plist"
 
-        for NAME in Pure.jar scala-library.jar scala-swing.jar
+        for NAME in Pure.jar scala-compiler.jar scala-library.jar scala-swing.jar scala-actors.jar scala-reflect.jar
         do
           ln -sf "../Resources/${ISABELLE_NAME}/lib/classes/ext/$NAME" "$APP/Contents/Java"
         done
+        ln -sf "../Resources/${ISABELLE_NAME}/src/Tools/jEdit/dist/jedit.jar" "$APP/Contents/Java"
 
         cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
         cp "$APP_TEMPLATE/../isabelle.icns" "$APP/Contents/Resources/."