Bug fix in Mac launch scripts (icon, dock name)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10190 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/bin/prism.darwin32

@@ -75,10 +75,11 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi
 
-ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
+PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
+PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
 # Run PRISM through Java
-"$PRISM_JAVA" -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
 PRISM_EXIT_CODE=$?
 

prism/src/bin/prism.darwin64

@@ -75,10 +75,11 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi
 
-ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
+PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
+PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
 # Run PRISM through Java
-"$PRISM_JAVA" -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
 PRISM_EXIT_CODE=$?