# HG changeset patch
# User wenzelm
# Date 1476893682 -7200
# Node ID ae7c115739225627fce2b97ebe8c07eb2bc3ca53
# Parent  1c7b77286ed0deb92d2ad67df73957f907780961
updated to jdk-8u112;

diff -r 1c7b77286ed0 -r ae7c11573922 Admin/components/components.sha1
--- 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
diff -r 1c7b77286ed0 -r ae7c11573922 Admin/components/main
--- 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
diff -r 1c7b77286ed0 -r ae7c11573922 Admin/java/build
--- 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"