Merge
diff --git a/.hgtags b/.hgtags
index 92efaa9..4730daa 100644
--- a/.hgtags
+++ b/.hgtags
@@ -1 +1,2 @@
 9a66ca7c79fab293c1bb0534e0d208c7e4f58b01 jdk7-b24
+58039502942e52f4144a33f36290a2bd2f3581e6 jdk7-b25