--- a/jdk/.hgtags	Wed Jul 05 18:02:06 2017 +0200
+++ b/jdk/.hgtags	Thu Feb 09 12:56:12 2012 -0800
@@ -146,3 +146,4 @@
 dda27c73d8db4a9c7a23872b6f0c5106edcb2021 jdk8-b22
 54202e0148ec7d4570cab5bc9b00d216a7677569 jdk8-b23
 34029a0c69bba882264a29fc822f8283fd15f104 jdk8-b24
+ec17fbe5b8fbc52da070eec43b4711d9354b2ab8 jdk8-b25