--- a/.hgtags	Wed Jul 05 16:39:00 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:39:00 2017 +0200
@@ -5,3 +5,4 @@
 18dc4ba4739a537fd146f77da51db16efce28da2 jdk7-b28
 bfe4572fd301a6fcd120373cdb2eff5d2da0c72c jdk7-b29
 bee4731164a06ddece1297ae58db24aca6a1c626 jdk7-b30
+cd8b8f500face60d1566d850857a7fccadbd383a jdk7-b31