Admin/launch4j/isabelle.xml
changeset 31859 7130ead05fdd
parent 31858 bf711eb92f84
child 31921 f39825f8bfd3
equal deleted inserted replaced
31858:bf711eb92f84 31859:7130ead05fdd
    10   <downloadUrl>http://java.com/download</downloadUrl>
    10   <downloadUrl>http://java.com/download</downloadUrl>
    11   <supportUrl></supportUrl>
    11   <supportUrl></supportUrl>
    12   <customProcName>false</customProcName>
    12   <customProcName>false</customProcName>
    13   <stayAlive>false</stayAlive>
    13   <stayAlive>false</stayAlive>
    14   <manifest></manifest>
    14   <manifest></manifest>
    15   <icon></icon>
    15   <icon>isabelle.ico</icon>
    16   <jre>
    16   <jre>
    17     <path></path>
    17     <path></path>
    18     <minVersion>1.6.0</minVersion>
    18     <minVersion>1.6.0</minVersion>
    19     <maxVersion></maxVersion>
    19     <maxVersion></maxVersion>
    20     <jdkPreference>preferJre</jdkPreference>
    20     <jdkPreference>preferJre</jdkPreference>