--- a/langtools/.hgtags	Wed Jul 05 17:00:34 2017 +0200
+++ b/langtools/.hgtags	Thu Sep 17 13:47:11 2009 -0700
@@ -46,3 +46,4 @@
 ce9bcdcb7859bb7ef10afd078ad59ba7847f208d jdk7-b69
 97d06f3e87873e310aa2f3fbca58fc8872d86b9f jdk7-b70
 33c8c38e1757006c17d80499fb3347102501fae5 jdk7-b71
+261c54b2312ed26d6ec45c675831375460250519 jdk7-b72