--- a/langtools/.hgtags	Wed Jul 05 18:34:52 2017 +0200
+++ b/langtools/.hgtags	Thu Jan 03 12:44:58 2013 -0800
@@ -192,3 +192,4 @@
 014a6a11dfe5ddc23ec8c76bb42ac998dbf49acb jdk8-b68
 d7360bf35ee1f40ff78c2e83a22b5446ee464346 jdk8-b69
 47f71d7c124f24c2fe2dfc49865b332345b458ed jdk8-b70
+467e4d9281bcf119eaec42af1423c96bd401871c jdk8-b71