--- a/jdk/src/share/classes/java/time/zone/ZoneRulesProvider.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/zone/ZoneRulesProvider.java	Wed May 15 07:48:57 2013 -0700
@@ -111,7 +111,7 @@
  * Each provider will provide the latest rules for each zone ID, but they
  * may also provide the history of how the rules changed.
  *
- * <h3>Specification for implementors</h3>
+ * @implSpec
  * This interface is a service provider that can be called by multiple threads.
  * Implementations must be immutable and thread-safe.
  * <p>