--- a/langtools/.hgtags	Wed Jul 05 16:51:35 2017 +0200
+++ b/langtools/.hgtags	Thu Apr 23 15:55:10 2009 -0700
@@ -30,3 +30,4 @@
 dbdeb4a7581b2a8699644b91cae6793cb01953f7 jdk7-b53
 197a7f881937d406a01214aa9ded49c073f7d380 jdk7-b54
 7394a8694cedea574c7dbd38de87f4cbe0e27b8a jdk7-b55
+825f23a4f262eb06cfc94406140f3bfecb17ffe8 jdk7-b56