updated to jdk-7u21;
authorwenzelm
Thu Apr 25 13:22:45 2013 +0200 (2013-04-25)
changeset 517768ea64fb16bae
parent 51775 408d937c9486
child 51777 48a0ae342ea0
updated to jdk-7u21;
Admin/components/components.sha1
Admin/components/main
Admin/java/build
     1.1 --- a/Admin/components/components.sha1	Thu Apr 25 11:59:21 2013 +0200
     1.2 +++ b/Admin/components/components.sha1	Thu Apr 25 13:22:45 2013 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
     1.5  38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
     1.6  d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
     1.7 +13a265e4b706ece26fdfa6fc9f4a3dd1366016d2  jdk-7u21.tar.gz
     1.8  ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
     1.9  7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
    1.10  44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
     2.1 --- a/Admin/components/main	Thu Apr 25 11:59:21 2013 +0200
     2.2 +++ b/Admin/components/main	Thu Apr 25 13:22:45 2013 +0200
     2.3 @@ -3,7 +3,7 @@
     2.4  e-1.6-2
     2.5  exec_process-1.0.3
     2.6  Haskabelle-2013
     2.7 -jdk-7u13
     2.8 +jdk-7u21
     2.9  jedit_build-20130104
    2.10  jfreechart-1.0.14
    2.11  kodkodi-1.5.2
     3.1 --- a/Admin/java/build	Thu Apr 25 11:59:21 2013 +0200
     3.2 +++ b/Admin/java/build	Thu Apr 25 13:22:45 2013 +0200
     3.3 @@ -11,8 +11,8 @@
     3.4  
     3.5  ## parameters
     3.6  
     3.7 -VERSION="7u13"
     3.8 -FULL_VERSION="1.7.0_13"
     3.9 +VERSION="7u21"
    3.10 +FULL_VERSION="1.7.0_21"
    3.11  
    3.12  ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
    3.13  ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"