diff -r 3c53424bbe3b -r 773df43a0f6a .hgtags
--- a/.hgtags	Wed Jul 05 16:43:43 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:43:43 2017 +0200
@@ -14,3 +14,4 @@
 c2036bf76829c03b99108fffab52e20910a9be4f jdk7-b37
 a2879b2837f5a4c87e9542efe69ef138194af8ff jdk7-b38
 126f365cec6c3c2c72de934fa1c64b5f082b55b5 jdk7-b39
+3c53424bbe3bb77e01b468b4b0140deec33e11fc jdk7-b40