--- a/jdk/.hgtags	Wed Jul 05 16:39:00 2017 +0200
+++ b/jdk/.hgtags	Thu Jul 17 11:28:44 2008 -0700
@@ -5,3 +5,4 @@
 02e4c5348592a8d7fc2cba28bc5f8e35c0e17277 jdk7-b28
 e21f4266466cd1306b176aaa08b2cd8337a9be3d jdk7-b29
 b6d6877c1155621a175dccd12dc14c54f938fb8b jdk7-b30
+b7474b739d13bacd9972f88ac91f6350b7b0be12 jdk7-b31