Admin/java/build
changeset 51074 f95817852bdd
parent 50890 097e38daa03a
child 51776 8ea64fb16bae
--- a/Admin/java/build	Fri Feb 01 21:31:21 2013 +0100
+++ b/Admin/java/build	Fri Feb 01 21:58:00 2013 +0100
@@ -11,8 +11,8 @@
 
 ## parameters
 
-VERSION="7u11"
-FULL_VERSION="1.7.0_11"
+VERSION="7u13"
+FULL_VERSION="1.7.0_13"
 
 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"