# HG changeset patch
# User wenzelm
# Date 1538840229 -7200
# Node ID 40df889478505b2d1db9d4dc88bc72fc60517e4b
# Parent  016715f1c107b6dd3fe39a5e3419a67cecdd4965
support for jdk-11;

diff -r 016715f1c107 -r 40df88947850 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Oct 06 15:06:10 2018 +0200
+++ b/Admin/components/components.sha1	Sat Oct 06 17:37:09 2018 +0200
@@ -69,6 +69,7 @@
 b70690c85c05d0ca5bc29287abd20142f6ddcfb0  isabelle_fonts-20171222.tar.gz
 c17c482e411bbaf992498041a3e1dea80336aaa6  isabelle_fonts-20171230.tar.gz
 3affbb306baff37c360319b21cbaa2cc96ebb282  isabelle_fonts-20180113.tar.gz
+71d19df63816e9be1c4c5eb44aea7a44cfadb319  jdk-11.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
diff -r 016715f1c107 -r 40df88947850 etc/settings
--- a/etc/settings	Sat Oct 06 15:06:10 2018 +0200
+++ b/etc/settings	Sat Oct 06 17:37:09 2018 +0200
@@ -14,7 +14,7 @@
 
 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m"
 
-ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2"
 
 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m"