--- a/jdk/src/share/classes/java/time/format/TextStyle.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/format/TextStyle.java	Wed May 15 07:48:57 2013 -0700
@@ -80,7 +80,7 @@
  * For example, the word used for a month when used alone in a date picker is different
  * to the word used for month in association with a day and year in a date.
  *
- * <h3>Specification for implementors</h3>
+ * @implSpec
  * This is immutable and thread-safe enum.
  */
 public enum TextStyle {