<launch4jConfig>

   <dontWrapJar>true</dontWrapJar>

   <headerType>gui</headerType>

   <jar>lib\classes\isabelle-scala.jar</jar>

   <outfile>Isabelle.exe</outfile>

   <errTitle></errTitle>

   <cmdLine></cmdLine>

   <chdir></chdir>

   <priority>normal</priority>

   <downloadUrl>http://java.com/download</downloadUrl>

   <supportUrl></supportUrl>

   <customProcName>false</customProcName>

   <stayAlive>true</stayAlive>

   <manifest></manifest>

   <icon>isabelle.ico</icon>

   <jre>

     <path></path>

     <minVersion>1.6.0</minVersion>

     <maxVersion></maxVersion>

     <jdkPreference>preferJre</jdkPreference>

     <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>

   </jre>

 </launch4jConfig>