--- 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
--- 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
--- 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 ".")