Set Windows launch script java memory limits to match other OSs.

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

prism/src/bin/prism.bat.win

@@ -21,4 +21,4 @@ rem  - lib/*.jar (all other jars)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\*
 
 rem Run PRISM through Java
-java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" prism.PrismCL %*
+java -Xmx1g -Xss4M -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" prism.PrismCL %*

prism/src/bin/xprism.bat.win

@@ -21,5 +21,5 @@ rem  - lib/*.jar (all other jars)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\*
 
 rem Run PRISM through Java
-start "PRISM" javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
+start "PRISM" javaw -Xmx1g -Xss4M -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
 exit