diff -r 82f4cb44b2d7 -r a5fe99f32315 .hgtags
--- a/.hgtags	Wed Jul 05 20:07:55 2017 +0200
+++ b/.hgtags	Wed Jul 05 20:07:56 2017 +0200
@@ -282,3 +282,4 @@
 b409bc51bc23cfd51f2bd04ea919ec83535af9d0 jdk9-b37
 948cceef81ba4cb34bc233e7cc5952951ff04e88 jdk9-b38
 4e7c4d692e934cb9023af8201e7c2b510e9c4ee1 jdk9-b39
+82f4cb44b2d7af2352f48568a64b7b6a5ae960cd jdk9-b40