--- a/langtools/.hgtags	Wed Jul 05 16:39:00 2017 +0200
+++ b/langtools/.hgtags	Thu Jul 17 11:28:51 2008 -0700
@@ -5,3 +5,4 @@
 4ef4bd31856949554967fbf22783babb21a62a0e jdk7-b28
 dec081837b01d509dcc2b9de86a4299c1ec17e04 jdk7-b29
 eaf608c64fecf70f955dc9f29f94c055b183aeec jdk7-b30
+07c916ecfc71f6bf432e4ff09bfbfb6290b5703c jdk7-b31