diff -r 35cd9b3a98ff -r 8c100beabcc0 jdk/src/share/classes/java/time/zone/ZoneRulesException.java
--- a/jdk/src/share/classes/java/time/zone/ZoneRulesException.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/zone/ZoneRulesException.java	Wed May 15 07:48:57 2013 -0700
@@ -64,7 +64,7 @@
  * This exception is used to indicate a problems with the configured
  * time-zone rules.
  *
- * <h3>Specification for implementors</h3>
+ * @implSpec
  * This class is intended for use in a single thread.
  *
  * @since 1.8