hg: jdk8u/hs-dev/hotspot: 8042813: new hotspot build - hs25.20-b15

[alejandro.murillo at oracle.com]

Changeset: f1b83c6b8411
Author:    amurillo
Date:      2014-05-08 23:10 -0700
URL:       http://hg.openjdk.java.net/jdk8u/hs-dev/hotspot/rev/f1b83c6b8411

8042813: new hotspot build - hs25.20-b15
Reviewed-by: jcoomes

! make/hotspot_version