--- a/jaxp/.hgtags	Fri Jul 28 02:34:46 2017 +0000
+++ b/jaxp/.hgtags	Thu Aug 24 16:33:43 2017 +0200
@@ -437,3 +437,6 @@
 332ad9f92632f56f337b8c40edef9a95a42b26bc jdk-9+177
 02a876781a3a6193140591d92db7b95ca743eac2 jdk-10+15
 d109d55cf642bf2b438624e81f94c18c168f9178 jdk-10+16
+0983b2dbe17ba4fed3af34e0512ca77a9845fe8a jdk-9+178
+87243a3131f79e8b3903eaca6b629abc48f08ace jdk-9+179
+97d6f14334cfd766f57c296a5a707c8a709aeff0 jdk-10+17