# HG changeset patch
# User wenzelm
# Date 1405879253 -7200
# Node ID a52e06f11e4171627eb938809ec556aede26f36c
# Parent  b79b75f92604acf3a377c6dafd1bf543ee92507a
updated to jdk-8u11 (inactive);

diff -r b79b75f92604 -r a52e06f11e41 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jul 20 19:36:46 2014 +0200
+++ b/Admin/components/components.sha1	Sun Jul 20 20:00:53 2014 +0200
@@ -28,6 +28,7 @@
 71b629b2ce83dbb69967c4785530afce1bec3809  jdk-7u60.tar.gz
 ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
+5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4  jdk-8u5.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
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