# HG changeset patch
# User wenzelm
# Date 1502713844 -7200
# Node ID 98afae4308f545dce6e778ed7a0ffda55aaeaf97
# Parent  a8556be5be0bcf2311463b24071c43274abbd0cc
updated to jdk-8u144;

diff -r a8556be5be0b -r 98afae4308f5 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 14 13:58:38 2017 +0200
+++ b/Admin/components/components.sha1	Mon Aug 14 14:30:44 2017 +0200
@@ -74,6 +74,7 @@
 5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 ae7df8bd0c18eb40237cf54cc28933f4893b9c92  jdk-8u121.tar.gz
 51531a3a0c16e180ed95cb7d2bd680c2ec0aa553  jdk-8u131.tar.gz
+e45edcf184f608d6f4a7b966d65a5d3289462693  jdk-8u144.tar.gz
 cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
 4132cf52d5025bf330d53b96a5c6466fef432377  jdk-8u51.tar.gz
diff -r a8556be5be0b -r 98afae4308f5 Admin/components/main
--- a/Admin/components/main	Mon Aug 14 13:58:38 2017 +0200
+++ b/Admin/components/main	Mon Aug 14 14:30:44 2017 +0200
@@ -4,7 +4,7 @@
 cvc4-1.5
 e-2.0
 isabelle_fonts-20160830
-jdk-8u131
+jdk-8u144
 jedit_build-20170319
 jfreechart-1.0.14-1
 jortho-1.0-2