hg: jdk8u/hs-dev/hotspot: 8040898: new hotspot build - hs25.20-b12

[alejandro.murillo at oracle.com]

Changeset: a163af774cb9
Author:    amurillo
Date:      2014-04-17 16:18 -0700
URL:       http://hg.openjdk.java.net/jdk8u/hs-dev/hotspot/rev/a163af774cb9

8040898: new hotspot build - hs25.20-b12
Reviewed-by: jcoomes

! make/hotspot_version