diff -r d52186ee770d -r 2fc3cf4dfd0d .hgtags
--- a/.hgtags	Wed Jul 05 16:50:03 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:50:04 2017 +0200
@@ -27,3 +27,4 @@
 5da0e6b9f4f18ef483c977337214b12ee0e1fc8f jdk7-b50
 a25c5ec5e40e07733d1ff9898a0abe36159288ff jdk7-b51
 7a90e89e36d103038f8667f6a7daae34ecfa1ad8 jdk7-b52
+d52186ee770dac57950536cd00ccbfdef360b04c jdk7-b53