--- a/.hgtags	Wed Jul 05 20:54:03 2017 +0200
+++ b/.hgtags	Wed Jul 05 20:54:03 2017 +0200
@@ -329,3 +329,4 @@
 51b2db2fa04c16d767b66113dbf08c5349ce382a jdk9-b84
 8392405ab038b22e69a3728e17dbdd9e3d3a22ed jdk9-b85
 7db0663a5e968059fa7c772172187ebd60b6492d jdk9-b86
+1a52a30674cd28c24d4d388150336121f2e9ddf9 jdk9-b87