--- a/jdk/.hgtags	Thu Dec 18 21:34:08 2008 -0800
+++ b/jdk/.hgtags	Wed Jul 05 16:45:08 2017 +0200
@@ -16,3 +16,4 @@
 4e51997582effa006dde5c6d8b8820b2045b9c7f jdk7-b39
 2201dad60231a3c3e0346e3a0250d69ca3b71fd4 jdk7-b40
 44941f893cea95ecdd5987b12e548069bd803849 jdk7-b41
+3ef0bdfa7609f79d4f2ea621f30cf593a2e432ce jdk7-b42