--- a/.hgtags	Wed Jul 05 17:13:36 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:13:37 2017 +0200
@@ -69,3 +69,4 @@
 ff9031a745d9cc52318f2148e43ca3b07ee08098 jdk7-b92
 b5dab6a313fdff4c043250e4d9c8f66fd624d27e jdk7-b93
 8bb281f0f91582104d65d032be22522bfd2d8110 jdk7-b94
+654298d26561b76dfe3cfcffbbd7078080837300 jdk7-b95