Admin/Windows/launch4j/isabelle.xml

imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;

<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>