Merge
diff --git a/.hgtags b/.hgtags
index fa3310d..d5067c0 100644
--- a/.hgtags
+++ b/.hgtags
@@ -146,3 +146,4 @@
 e8f03541af27e38aafb619b96863e17f65ffe53b jdk8-b22
 498124337041ad53cbaa7eb110f3d7acd6d4eac4 jdk8-b23
 7d3720d8c595d1519c31e9ff7366203fc2c61350 jdk8-b24
+0071a6d64113a35ba345bb1580c256de5ce17d3e jdk8-b25