diff --git a/prism/src/bin/prism.bat.win b/prism/src/bin/prism.bat.win
index 5869724b..f7e2eec3 100755
--- a/prism/src/bin/prism.bat.win
+++ b/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 %*
diff --git a/prism/src/bin/xprism.bat.win b/prism/src/bin/xprism.bat.win
index 1f6a4271..b3b77a23 100755
--- a/prism/src/bin/xprism.bat.win
+++ b/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
\ No newline at end of file