Admin/Windows/launch4j/isabelle.xml

build.props for isabelle.jar, including isabelle.jedit;
build minimal Isabelle/jEdit plugins on the spot;
regular "jedit" component: discontinued special "jedit_build";
Isabelle/Scala services via jars, instead of settings;

<?xml version="1.0" encoding="UTF-8"?>
<launch4jConfig>
  <dontWrapJar>true</dontWrapJar>
  <headerType>gui</headerType>
  <jar></jar>
  <outfile>{OUTFILE}</outfile>
  <errTitle></errTitle>
  <cmdLine></cmdLine>
  <chdir></chdir>
  <priority>normal</priority>
  <downloadUrl></downloadUrl>
  <supportUrl></supportUrl>
  <stayAlive>false</stayAlive>
  <restartOnCrash>false</restartOnCrash>
  <manifest></manifest>
  <icon>{ICON}</icon>
  <classPath>
    <mainClass>isabelle.jedit.Main</mainClass>
{CLASSPATH}
  </classPath>
  <singleInstance>
    <mutexName>{ISABELLE_NAME}</mutexName>
    <windowTitle>{ISABELLE_NAME}</windowTitle>
  </singleInstance>
  <jre>
    <path>%EXEDIR%\contrib\jdk\x86_64-windows</path>
    <bundledJre64Bit>true</bundledJre64Bit>
    <bundledJreAsFallback>false</bundledJreAsFallback>
    <minVersion></minVersion>
    <maxVersion></maxVersion>
    <jdkPreference>jdkOnly</jdkPreference>
    <runtimeBits>64</runtimeBits>
    <opt>-splash:&quot;%EXEDIR%\lib\logo\isabelle.gif&quot; -Disabelle.root=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\contrib\cygwin&quot;</opt>
  </jre>
  <splash>
    <file>{SPLASH}</file>
    <waitForWindow>true</waitForWindow>
    <timeout>120</timeout>
    <timeoutErr>false</timeoutErr>
  </splash>
</launch4jConfig>