--- a/hotspot/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/hotspot/.hgtags	Wed Apr 09 11:18:58 2008 -0700
@@ -1,1 +1,2 @@
 a61af66fc99eb5ec9d50c05b0c599757b1289ceb jdk7-b24
+7836be3e92d0a4f9ee7566f602c91f5609534e66 jdk7-b25