--- a/.hgtags	Wed Jul 05 21:06:41 2017 +0200
+++ b/.hgtags	Wed Jul 05 21:06:42 2017 +0200
@@ -338,3 +338,4 @@
 09206c6513b300e1ac8541f3be012e1a49312104 jdk9-b93
 25a2cab05cfbe6034b71d9e72d64c65b0572ce63 jdk9-b94
 5ac6287ec71aafe021cc839d8bc828108d23aaba jdk-9+95
+139f19d70350238e15e107945cea75082b6380b3 jdk-9+96