--- a/langtools/.hgtags	Wed Jul 05 18:02:06 2017 +0200
+++ b/langtools/.hgtags	Thu Feb 09 12:56:35 2012 -0800
@@ -146,3 +146,4 @@
 390a7828ae18324030c0546b6452d51093ffa451 jdk8-b22
 601ffcc6551d5414ef871be306c3a26396cf16a7 jdk8-b23
 6c9d21ca92c41ff5fcfa76c5b7fafe0f042f4aef jdk8-b24
+520c30f85bb529a3daf5d7623764c2464f00fd19 jdk8-b25