# HG changeset patch
# User wenzelm
# Date 1495203264 -7200
# Node ID 300beacd9875306fd268bdec39bf9d56a0532611
# Parent  8f77f6735b518dfeaabd697cf28e2cfbf34ec44d
updated to jdk-8u131;

diff -r 8f77f6735b51 -r 300beacd9875 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri May 19 16:05:33 2017 +0200
+++ b/Admin/components/components.sha1	Fri May 19 16:14:24 2017 +0200
@@ -71,6 +71,7 @@
 741de6a4a805a0f9fb917d1845409e99346c2747  jdk-8u112.tar.gz
 5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 ae7df8bd0c18eb40237cf54cc28933f4893b9c92  jdk-8u121.tar.gz
+865494b7497042146282acb931a37c6a81c32dd2  jdk-8u131.tar.gz
 cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
 4132cf52d5025bf330d53b96a5c6466fef432377  jdk-8u51.tar.gz
diff -r 8f77f6735b51 -r 300beacd9875 Admin/components/main
--- a/Admin/components/main	Fri May 19 16:05:33 2017 +0200
+++ b/Admin/components/main	Fri May 19 16:14:24 2017 +0200
@@ -4,7 +4,7 @@
 cvc4-1.5pre-4
 e-1.8
 isabelle_fonts-20160830
-jdk-8u121
+jdk-8u131
 jedit_build-20170319
 jfreechart-1.0.14-1
 jortho-1.0-2
diff -r 8f77f6735b51 -r 300beacd9875 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Fri May 19 16:05:33 2017 +0200
+++ b/src/Pure/Admin/build_jdk.scala	Fri May 19 16:14:24 2017 +0200
@@ -219,7 +219,7 @@
       var target_dir = Path.current
 
       val getopts = Getopts("""
-Usage: Admin/build_jdk [OPTIONS] ARCHIVES...
+Usage: isabelle build_jdk [OPTIONS] ARCHIVES...
 
   Options are:
     -D DIR       target directory (default ".")