--- a/jdk/.hgtags	Wed Jul 05 16:59:55 2017 +0200
+++ b/jdk/.hgtags	Thu Sep 03 10:53:04 2009 -0700
@@ -45,3 +45,4 @@
 b23d905cb5d3b382295240d28ab0bfb266b4503c jdk7-b68
 226b20019b1f020c09ea97d137d98e011ce65d76 jdk7-b69
 893bcca951b747ddcf6986362b877f0e1dbb835b jdk7-b70
+b3f3240135f0c10b9f2481c174b81b7fcf0daa60 jdk7-b71