hg: jdk7u/jdk7u/hotspot: Added tag jdk7u40-b25 for changeset a8a071629df4

[david . katleman]

Changeset: 7c93562242eb
Author:    katleman
Date:      2013-05-16 12:14 -0700
URL:       http://hg.openjdk.java.net/jdk7u/jdk7u/hotspot/rev/7c93562242eb

Added tag jdk7u40-b25 for changeset a8a071629df4

! .hgtags