Fixes for possible bug in Windows launch scripts.

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

prism/src/bin/prism.bat

@@ -19,4 +19,4 @@ rem  - lib/pepa.zip (PEPA stuff)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
-java -classpath %CP% prism.PrismCL %*
+java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% prism.PrismCL %*

prism/src/bin/xprism.bat

@@ -19,6 +19,5 @@ rem  - lib/pepa.zip (PEPA stuff)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
-rem start javaw -classpath %CP% userinterface/GUIPrism %*
-java -classpath %CP% userinterface/GUIPrism %*
-
+rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %*
+java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %*