--- a/jdk/.hgtags	Wed Jul 05 18:11:33 2017 +0200
+++ b/jdk/.hgtags	Thu May 24 16:15:58 2012 -0700
@@ -161,3 +161,4 @@
 9e82ac15ab80370d6e021aea7b98c7c9626adb5e jdk8-b37
 c45f3509a70796c54b48f32910d1caf435763416 jdk8-b38
 b6f52911752110a2889681923992c7a0baa52ccc jdk8-b39
+b88fc3359dc7edabfa8a228855d8cebf8843c055 jdk8-b40