# HG changeset patch
# User wenzelm
# Date 1485109353 -3600
# Node ID 9c94853f03b37aeefb8a797c41404c7d8598ddef
# Parent  a11f3ebb7bd8a323ea9cc9d2dcfeccb0e82370e7
updated to jdk-8u121;

diff -r a11f3ebb7bd8 -r 9c94853f03b3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jan 22 16:45:58 2017 +0100
+++ b/Admin/components/components.sha1	Sun Jan 22 19:22:33 2017 +0100
@@ -69,6 +69,7 @@
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
 baf275a68d3f799a841932e4e9a95a1a604058ae  jdk-8u102.tar.gz
 741de6a4a805a0f9fb917d1845409e99346c2747  jdk-8u112.tar.gz
+ae7df8bd0c18eb40237cf54cc28933f4893b9c92  jdk-8u121.tar.gz
 5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
diff -r a11f3ebb7bd8 -r 9c94853f03b3 Admin/components/main
--- a/Admin/components/main	Sun Jan 22 16:45:58 2017 +0100
+++ b/Admin/components/main	Sun Jan 22 19:22:33 2017 +0100
@@ -4,7 +4,7 @@
 cvc4-1.5pre-4
 e-1.8
 isabelle_fonts-20160830
-jdk-8u112
+jdk-8u121
 jedit_build-20161024
 jfreechart-1.0.14-1
 jortho-1.0-2