# HG changeset patch
# User wenzelm
# Date 1373974021 -7200
# Node ID edf3747b9862f77a2f2999087dfd7afb9e076331
# Parent  8de4235298cbbb6c36a182fc2310a73e5b08c85d
prefer stand-alone javaw;

diff -r 8de4235298cb -r edf3747b9862 Admin/Windows/Installer/sfx.txt
--- a/Admin/Windows/Installer/sfx.txt	Tue Jul 16 13:23:37 2013 +0200
+++ b/Admin/Windows/Installer/sfx.txt	Tue Jul 16 13:27:01 2013 +0200
@@ -5,5 +5,5 @@
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking {ISABELLE_NAME} ..."
 Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}"
-RunProgram="\"%%T\{ISABELLE_NAME}\contrib\jdk-7u21\x86-cygwin\jdk1.7.0_21\bin\java.exe\" -classpath \"%%T\{ISABELLE_NAME}\lib\classes\ext\Pure.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-library.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-swing.jar\" -D \"isabelle.home=\%%T\{ISABELLE_NAME}\""
+RunProgram="\"%%T\{ISABELLE_NAME}\contrib\jdk-7u21\x86-cygwin\jdk1.7.0_21\bin\javaw.exe\" -classpath \"%%T\{ISABELLE_NAME}\lib\classes\ext\Pure.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-library.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-swing.jar\" -D \"isabelle.home=\%%T\{ISABELLE_NAME}\""
 ;!@InstallEnd@!