Changeset: 43aa571c1131 Author: amurillo Date: 2014-08-15 11:39 -0700 URL: http://hg.openjdk.java.net/jdk8u/hs-dev/hotspot/rev/43aa571c1131 8055217: Make jdk8u40 the default jprt release for hs25.40 Reviewed-by: mikael, kvn ! make/jprt.properties