Added default java memory (512MB) to run scripts.

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

prism/src/bin/prism.cygwin

@@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 		echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit
 	fi
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
+else
+	# default
+	PRISM_JAVAMAXMEM="-Xmx512m"
 fi
 
 # Add PRISM to PATH

prism/src/bin/prism.darwin

@@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 		echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit
 	fi
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
+else
+	# default
+	PRISM_JAVAMAXMEM="-Xmx512m"
 fi
 
 # Add PRISM to DYLD_LIBRARY_PATH

prism/src/bin/prism.linux

@@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 		echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit
 	fi
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
+else
+	# default
+	PRISM_JAVAMAXMEM="-Xmx512m"
 fi
 
 # Add PRISM to LD_LIBRARY_PATH