diff -r 99ef204a1b6a -r e1a6a71b741d Admin/java/build
--- a/Admin/java/build	Mon Oct 27 20:21:56 2014 +0100
+++ b/Admin/java/build	Mon Oct 27 20:31:51 2014 +0100
@@ -11,8 +11,8 @@
 
 ## parameters
 
-VERSION="7u67"
-FULL_VERSION="1.7.0_67"
+VERSION="7u72"
+FULL_VERSION="1.7.0_72"
 
 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"
@@ -29,7 +29,7 @@
 # README
 
 cat >> "$DIR/README" << EOF
-This is JDK $FULL_VERSION as required for Isabelle.
+This is JDK/JRE $FULL_VERSION as required for Isabelle.
 
 See http://www.oracle.com/technetwork/java/javase/downloads/index.html
 for the original downloads, which are covered by the Oracle Binary