--- a/Admin/components/components.sha1 Wed Oct 19 17:39:04 2016 +0200
+++ b/Admin/components/components.sha1 Wed Oct 19 18:14:42 2016 +0200
@@ -65,6 +65,7 @@
baa6de37bb6f7a104ce5fe6506bca3d2572d601a jdk-7u80.tar.gz
7d5b152ac70f720bb9e783fa45ecadcf95069584 jdk-7u9.tar.gz
baf275a68d3f799a841932e4e9a95a1a604058ae jdk-8u102.tar.gz
+741de6a4a805a0f9fb917d1845409e99346c2747 jdk-8u112.tar.gz
5442f1015a0657259be0590b04572cd933431df7 jdk-8u11.tar.gz
cfecb1383faaf027ffbabfcd77a0b6a6521e0969 jdk-8u20.tar.gz
44ffeeae219782d40ce6822b580e608e72fd4c76 jdk-8u31.tar.gz
--- a/Admin/components/main Wed Oct 19 17:39:04 2016 +0200
+++ b/Admin/components/main Wed Oct 19 18:14:42 2016 +0200
@@ -5,7 +5,7 @@
e-1.8
Haskabelle-2015
isabelle_fonts-20160830
-jdk-8u102
+jdk-8u112
jedit_build-20160330
jfreechart-1.0.14-1
jortho-1.0-2
--- a/Admin/java/build Wed Oct 19 17:39:04 2016 +0200
+++ b/Admin/java/build Wed Oct 19 18:14:42 2016 +0200
@@ -14,8 +14,8 @@
## parameters
-VERSION="8u102"
-FULL_VERSION="1.8.0_102"
+VERSION="8u112"
+FULL_VERSION="1.8.0_112"
ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"