diff -r a25c5ec5e40e -r 59ec8860d3eb .hgtags
--- a/.hgtags	Wed Jul 05 16:49:07 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:49:08 2017 +0200
@@ -25,3 +25,4 @@
 1bf51a4c2627c2f0e0cbcc2cf0421bdb37f1f2b2 jdk7-b48
 6b84b04a80afe23262377c60913eebfc898f14c4 jdk7-b49
 5da0e6b9f4f18ef483c977337214b12ee0e1fc8f jdk7-b50
+a25c5ec5e40e07733d1ff9898a0abe36159288ff jdk7-b51