1.1 --- a/Admin/components/components.sha1	Sun Jul 20 19:36:46 2014 +0200
     1.2 +++ b/Admin/components/components.sha1	Sun Jul 20 20:00:53 2014 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4  71b629b2ce83dbb69967c4785530afce1bec3809  jdk-7u60.tar.gz
     1.5  ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
     1.6  7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
     1.7 +5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
     1.8  c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4  jdk-8u5.tar.gz
     1.9  44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
    1.10  a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz

     2.1 --- a/Admin/java/build	Sun Jul 20 19:36:46 2014 +0200
     2.2 +++ b/Admin/java/build	Sun Jul 20 20:00:53 2014 +0200
     2.3 @@ -11,8 +11,8 @@
     2.4  
     2.5  ## parameters
     2.6  
     2.7 -VERSION="7u60"
     2.8 -FULL_VERSION="1.7.0_60"
     2.9 +VERSION="8u11"
    2.10 +FULL_VERSION="1.8.0_11"
    2.11  
    2.12  ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
    2.13  ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"
    2.14 @@ -48,7 +48,7 @@
    2.15  
    2.16  case "\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}" in
    2.17    x86-darwin)
    2.18 -    echo "### Java 1.7 unavailable on 32bit Macintosh!" >&2
    2.19 +    echo "### Java unavailable on 32bit Macintosh!" >&2
    2.20      ;;
    2.21    x86_64-darwin)
    2.22      ISABELLE_JDK_HOME="\$COMPONENT/\$ISABELLE_PLATFORM64/Contents/Home"
    2.23 @@ -62,7 +62,7 @@
    2.24    if [ -d "\$ISABELLE_JDK_HOME" ]; then
    2.25      ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
    2.26    else
    2.27 -    echo "### Missing Java 1.7 platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
    2.28 +    echo "### Missing Java platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
    2.29      unset ISABELLE_JDK_HOME
    2.30    fi
    2.31  fi