diff -r b79b75f92604 -r a52e06f11e41 Admin/java/build
--- a/Admin/java/build	Sun Jul 20 19:36:46 2014 +0200
+++ b/Admin/java/build	Sun Jul 20 20:00:53 2014 +0200
@@ -11,8 +11,8 @@
 
 ## parameters
 
-VERSION="7u60"
-FULL_VERSION="1.7.0_60"
+VERSION="8u11"
+FULL_VERSION="1.8.0_11"
 
 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"
@@ -48,7 +48,7 @@
 
 case "\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}" in
   x86-darwin)
-    echo "### Java 1.7 unavailable on 32bit Macintosh!" >&2
+    echo "### Java unavailable on 32bit Macintosh!" >&2
     ;;
   x86_64-darwin)
     ISABELLE_JDK_HOME="\$COMPONENT/\$ISABELLE_PLATFORM64/Contents/Home"
@@ -62,7 +62,7 @@
   if [ -d "\$ISABELLE_JDK_HOME" ]; then
     ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
   else
-    echo "### Missing Java 1.7 platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
+    echo "### Missing Java platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
     unset ISABELLE_JDK_HOME
   fi
 fi