review request (XXS) - 7155757 make jdk7u4 the default for hs23

[John Coomes]

Hi,

Please review this trivial change to make jdk7u4 the default jprt
release for hs23.  This is only for hs23; it will not be pushed to
hs24/jdk8.  Webrev is here:

	http://cr.openjdk.java.net/~jcoomes/7155757-jprt-default-7u4/

Or the inline diff:

diff -r 74229f694686 -r 6648de3a7118 make/jprt.properties
--- a/make/jprt.properties	Wed Feb 29 12:58:49 2012 -0500
+++ b/make/jprt.properties	Thu Mar 22 11:23:45 2012 -0700
@@ -38,7 +38,7 @@
 
 # This tells jprt what default release we want to build
 
-jprt.hotspot.default.release=jdk7
+jprt.hotspot.default.release=jdk7u4
 
 jprt.tools.default.release=${jprt.submit.option.release?${jprt.submit.option.release}:${jprt.hotspot.default.release}}
 

-John