--- a/langtools/.hgtags	Wed Jul 05 17:30:37 2017 +0200
+++ b/langtools/.hgtags	Wed Dec 22 15:57:38 2010 -0800
@@ -97,3 +97,4 @@
 1dd813a529cfa06d850ee7dc42da42efb8f6af0e jdk7-b120
 1bf969e9792f977a8593496681539840a54fe644 jdk7-b121
 11e7b4c0476e4d6085d8d28c4aa2833d46714a2a jdk7-b122
+a3b5b531542a372f30e014b1543a619a15a90780 jdk7-b123