hg: jdk8u/hs-dev/hotspot: 8039392: Make jdk8u20 the default jprt release for hs25.20

[alejandro.murillo at oracle.com]

Changeset: 3ef5c627634a
Author:    amurillo
Date:      2014-04-07 22:13 -0700
URL:       http://hg.openjdk.java.net/jdk8u/hs-dev/hotspot/rev/3ef5c627634a

8039392: Make jdk8u20 the default jprt release for hs25.20
Reviewed-by: kvn, dholmes

! make/jprt.properties