Merge
diff --git a/.hgtags b/.hgtags
index f04c431..ea4f9ad 100644
--- a/.hgtags
+++ b/.hgtags
@@ -286,3 +286,4 @@
 adf8dfcbcf48460b3d749afe5ffdb1c1f96508bd jdk8u20-b15
 03b461ae1b8cabd5247ff68eeaed961f5ec0a595 jdk8u20-b16
 d03dce14fc24537e4aaf8b938361bac014e3d394 jdk8u20-b24
+1c02c6d547e6aa7aaa5149e3edac60189896f94f jdk8u20-b25