Admin/Windows/launch4j/isabelle.xml

--- a/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 16:47:57 2015 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 17:53:10 2015 +0200
@@ -10,7 +10,7 @@
   <priority>normal</priority>
   <downloadUrl></downloadUrl>
   <supportUrl></supportUrl>
-  <stayAlive>true</stayAlive>
+  <stayAlive>false</stayAlive>
   <restartOnCrash>false</restartOnCrash>
   <manifest></manifest>
   <icon>{ICON}</icon>
@@ -19,17 +19,13 @@
 {CLASSPATH}
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk\x86-cygwin\jre</path>
+    <path>%EXEDIR%\contrib\jdk\x86-windows\jre</path>
     <bundledJre64Bit>false</bundledJre64Bit>
     <bundledJreAsFallback>false</bundledJreAsFallback>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
     <runtimeBits>64/32</runtimeBits>
-    <initialHeapSize>128</initialHeapSize>
-    <initialHeapPercent>20</initialHeapPercent>
-    <maxHeapSize>1024</maxHeapSize>
-    <maxHeapPercent>50</maxHeapPercent>
     <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin&quot;</opt>
   </jre>
   <splash>