--- a/jdk/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/jdk/.hgtags	Wed Apr 09 11:19:07 2008 -0700
@@ -1,1 +1,2 @@
 37a05a11f281b4d238e2f9e7ebb67c63f64d0e77 jdk7-b24
+75fca0b0ab83ab1392e615910cea020f66535390 jdk7-b25