--- a/.hgtags	Wed Jul 05 23:10:03 2017 +0200
+++ b/.hgtags	Wed Jul 05 23:10:05 2017 +0200
@@ -411,3 +411,4 @@
 74116beae88a8f17a80301aa6c83865c82f10ece jdk-10+1
 4a79ad46e578112fce68f1af9dd931025cc235cb jdk-10+2
 d1cab6c7e608479be4ebfad48a25b0ed48600f62 jdk-10+3
+02253db2ace1422f576f58502fc7831ead77424b jdk-10+4