# HG changeset patch
# User wenzelm
# Date 1516723492 -3600
# Node ID 59527ee2d6dad3a2dda255b2397297c74982a0f2
# Parent  982f0bf34804a496466d5a765cae3be70efa63d6
updated to jdk-8u162;

diff -r 982f0bf34804 -r 59527ee2d6da Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Jan 23 16:37:57 2018 +0100
+++ b/Admin/components/components.sha1	Tue Jan 23 17:04:52 2018 +0100
@@ -87,6 +87,7 @@
 51531a3a0c16e180ed95cb7d2bd680c2ec0aa553  jdk-8u131.tar.gz
 e45edcf184f608d6f4a7b966d65a5d3289462693  jdk-8u144.tar.gz
 264e806b9300a4fb3b6e15ba0e2c664d4ea698c8  jdk-8u152.tar.gz
+84b04d877a2ea3a4e2082297b540e14f76722bc5  jdk-8u162.tar.gz
 cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
 4132cf52d5025bf330d53b96a5c6466fef432377  jdk-8u51.tar.gz
diff -r 982f0bf34804 -r 59527ee2d6da Admin/components/main
--- a/Admin/components/main	Tue Jan 23 16:37:57 2018 +0100
+++ b/Admin/components/main	Tue Jan 23 17:04:52 2018 +0100
@@ -5,7 +5,7 @@
 cvc4-1.5-3
 e-2.0-1
 isabelle_fonts-20180113
-jdk-8u152
+jdk-8u162
 jedit_build-20170319
 jfreechart-1.0.14-1
 jortho-1.0-2