--- a/langtools/.hgtags	Wed Jul 05 17:09:16 2017 +0200
+++ b/langtools/.hgtags	Thu Apr 08 17:03:01 2010 -0700
@@ -62,3 +62,4 @@
 136bfc67946219fb02ee223984540a4a9c5b209f jdk7-b85
 ef07347428f2198ae6b8144ac0b9086bbe39fd16 jdk7-b86
 409db93d19c002333980df5b797c6b965150c7a0 jdk7-b87
+f9b5d4867a26f8c4b90ad37fe2c345b721e93d6b jdk7-b88