--- a/.hgtags	Wed Jul 05 16:43:17 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:43:18 2017 +0200
@@ -13,3 +13,4 @@
 d718a441936196b93d8bc9f084933af9a4c2a350 jdk7-b36
 c2036bf76829c03b99108fffab52e20910a9be4f jdk7-b37
 a2879b2837f5a4c87e9542efe69ef138194af8ff jdk7-b38
+126f365cec6c3c2c72de934fa1c64b5f082b55b5 jdk7-b39