# HG changeset patch
# User wenzelm
# Date 1538851780 -7200
# Node ID 9dabb405a3baa3b2bdd9d2955e7e3742d0c1dec9
# Parent  78691a87937cbb558855369298c0428bce2320a2
activate jdk-11

diff -r 78691a87937c -r 9dabb405a3ba Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Sat Oct 06 21:20:48 2018 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Sat Oct 06 20:49:40 2018 +0200
@@ -23,7 +23,7 @@
     <windowTitle>{ISABELLE_NAME}</windowTitle>
   </singleInstance>
   <jre>
-    <path>%EXEDIR%\contrib\jdk\x86_64-windows\jre</path>
+    <path>%EXEDIR%\contrib\jdk\x86_64-windows</path>
     <bundledJre64Bit>true</bundledJre64Bit>
     <bundledJreAsFallback>false</bundledJreAsFallback>
     <minVersion></minVersion>
diff -r 78691a87937c -r 9dabb405a3ba Admin/components/main
--- a/Admin/components/main	Sat Oct 06 21:20:48 2018 +0200
+++ b/Admin/components/main	Sat Oct 06 20:49:40 2018 +0200
@@ -5,7 +5,7 @@
 cvc4-1.5-4
 e-2.0-2
 isabelle_fonts-20180113
-jdk-8u181
+jdk-11
 jedit_build-20180504
 jfreechart-1.5.0
 jortho-1.0-2