diff --git a/prism/Makefile b/prism/Makefile
index f4ee08c4..808d11e2 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -322,7 +322,7 @@ dist_tidy:
 
 binary:
 	@echo Generating jar file...
-	@cd $(CLASSES_DIR) && jar cf ../lib/prism.jar *
+	@cd $(CLASSES_DIR) && jar cmf ../src/manifest.txt ../lib/prism.jar *
 
 undist:
 	@rm -rf cudd && ln -s ../cudd cudd
diff --git a/prism/bin/xprism.bat b/prism/bin/xprism.bat
index 34455473..df4bcef1 100755
--- a/prism/bin/xprism.bat
+++ b/prism/bin/xprism.bat
@@ -15,5 +15,6 @@ rem Setup classpath - jar file (for binary versions) gets priority
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
+rem start javaw -classpath %CP% userinterface/GUIPrism %*
 java -classpath %CP% userinterface/GUIPrism %*
 
diff --git a/prism/src/manifest.txt b/prism/src/manifest.txt
new file mode 100644
index 00000000..532c6fd9
--- /dev/null
+++ b/prism/src/manifest.txt
@@ -0,0 +1,2 @@
+Main-Class: userinterface.GUIPrism
+Class-Path: pepa.zip