diff -r c7b4d867b82d -r 1f2473d3c38e make/jprt.properties
--- a/make/jprt.properties	Thu Jul 31 11:14:26 2014 -0700
+++ b/make/jprt.properties	Mon Aug 18 11:16:24 2014 -0700
@@ -29,7 +29,7 @@
 #
 
 # The current release name
-my.jdk.update.version=20
+my.jdk.update.version=40
 jprt.tools.default.release=jdk8u${my.jdk.update.version}
 
 # Check if this is the equivalent of a hotspot push job