--- a/jdk/.hgtags	Wed Jul 05 19:52:35 2017 +0200
+++ b/jdk/.hgtags	Fri Aug 01 14:09:19 2014 -0700
@@ -267,3 +267,4 @@
 85bcf0f99edc08873614afbe5a5563e13ce13c83 jdk9-b22
 9febf9dbc0a4b15323f2dbd29931cfbf086332b4 jdk9-b23
 875450e7ef8dde8f59db662ec1351ea30b8cb35d jdk9-b24
+a31efe49556a7c12f9ea2c9ee8b4fae8aa67723a jdk9-b25