--- a/.hgtags	Wed Jul 05 18:06:09 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:06:10 2017 +0200
@@ -152,3 +152,4 @@
 16ba58282d117247f480aae7a79b88141ade52a3 jdk8-b28
 e070119aa56ee4dc5506c19d2c4d2eecab8ad429 jdk8-b29
 23da7804aca0c9c4e6e86532a1453125a76d95ee jdk8-b30
+bac81e9f7d57b75fba5ab31b571f3fe0dc08af69 jdk8-b31