--- a/langtools/.hgtags	Wed Jul 05 16:44:40 2017 +0200
+++ b/langtools/.hgtags	Thu Dec 18 21:34:20 2008 -0800
@@ -16,3 +16,4 @@
 3fb51e47622bb771571680bc6a7b64c6172b482d jdk7-b39
 32e30988324601d08b87989f0821d99aa8534511 jdk7-b40
 ded6b40f558e8d19b3c17715b3d67ee001606645 jdk7-b41
+5e5567c2db56a931cf07768218c20903d9828b5f jdk7-b42