--- a/jdk/src/share/classes/java/time/format/FormatStyle.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/format/FormatStyle.java	Wed May 15 07:48:57 2013 -0700
@@ -67,7 +67,7 @@
  * These styles are used when obtaining a date-time style from configuration.
  * See {@link DateTimeFormatter} and {@link DateTimeFormatterBuilder} for usage.
  *
- * <h3>Specification for implementors</h3>
+ * @implSpec
  * This is an immutable and thread-safe enum.
  *
  * @since 1.8