Merge
diff --git a/.hgtags b/.hgtags
index 36c9e88..9bca5c9 100644
--- a/.hgtags
+++ b/.hgtags
@@ -114,3 +114,4 @@
 d1cf7d4ee16c341f5b8c7e7f1d68a8c412b6c693 jdk7-b137
 62b8e328f8c8c66c14b0713222116f2add473f3f jdk7-b138
 955488f34ca418f6cdab843d61c20d2c615637d9 jdk7-b139
+f4298bc3f4b6baa315643be06966f09684290068 jdk7-b140