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

[Vladimir Kozlov]

Good.

Vladimir

John Coomes wrote:
> 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