--- a/.hgtags	Wed Jul 05 16:53:59 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:54:00 2017 +0200
@@ -34,3 +34,4 @@
 b44f05654c26fcd1f995e712992f9b07ffd7c0c6 jdk7-b57
 d60a9ce3c3eabf28f5d50ae839d18be04a551bc2 jdk7-b58
 c33e7d38c9210741dbc285507403a4b20bd802a0 jdk7-b59
+5a10e4d0b14d7beac53a7b2213ae6864afe1fd3e jdk7-b60