hg: hsx/hsx24/hotspot: 8014941: make jdk7u40 the default jprt release for hs24

[alejandro.murillo at oracle.com]

Changeset: 87978e19157c
Author:    amurillo
Date:      2013-05-20 23:14 -0700
URL:       http://hg.openjdk.java.net/hsx/hsx24/hotspot/rev/87978e19157c

8014941: make jdk7u40 the default jprt release for hs24
Reviewed-by: dholmes, collins

! make/jprt.properties