<launch4jConfig>

   <dontWrapJar>true</dontWrapJar>

   <headerType>gui</headerType>

   <jar></jar>

   <outfile>Isabelle.exe</outfile>

   <errTitle></errTitle>

   <cmdLine></cmdLine>

   <chdir></chdir>

   <priority>normal</priority>

   <downloadUrl></downloadUrl>

   <supportUrl></supportUrl>

   <customProcName>false</customProcName>

   <stayAlive>true</stayAlive>

   <manifest></manifest>

   <icon>isabelle.ico</icon>

   <classPath>

     <mainClass>isabelle.Main</mainClass>

     <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-compiler.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-actors.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-reflect.jar</cp>

     <cp>%EXEDIR%\src\Tools\jEdit\dist\jedit.jar</cp>

   </classPath>

   <jre>

     <path>%EXEDIR%\contrib\jdk\x86-cygwin</path>

     <minVersion></minVersion>

     <maxVersion></maxVersion>

     <jdkPreference>jdkOnly</jdkPreference>

     <opt>-Dfile.encoding=UTF-8 -server -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false -Disabelle.home=&quot;%EXEDIR%&quot;</opt>

   </jre>

   <splash>

     <file>isabelle.bmp</file>

     <waitForWindow>false</waitForWindow>

     <timeout>10</timeout>

     <timeoutErr>false</timeoutErr>

   </splash>

 </launch4jConfig>