--- a/jaxp/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/jaxp/.hgtags	Wed Apr 09 11:19:02 2008 -0700
@@ -1,1 +1,2 @@
 6ce5f4757bde08f7470cbb9f0b46da8f2f3d4f56 jdk7-b24
+a3b3ba7d6034dc754b51ddc3d281399ac1cae5f1 jdk7-b25