--- a/langtools/.hgtags	Wed Jul 05 19:52:35 2017 +0200
+++ b/langtools/.hgtags	Fri Aug 01 14:09:22 2014 -0700
@@ -267,3 +267,4 @@
 aca19c52b24627a6b085cfeb433051a3e420cd81 jdk9-b22
 0402a91cd14b530b6e98452341ff853717948239 jdk9-b23
 980b18627fd3f4936be2d9e2b013abb461cb2ddb jdk9-b24
+d60b572d759449913d02478219ad87e0574a3909 jdk9-b25