--- a/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:34:33 2017 +0200
@@ -1,1 +1,2 @@
 1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24
+bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1 jdk7-b25