jdk/src/share/classes/java/time/format/DateTimeTextProvider.java
changeset 17474 8c100beabcc0
parent 16852 60207b2b4b42
--- a/jdk/src/share/classes/java/time/format/DateTimeTextProvider.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/format/DateTimeTextProvider.java	Wed May 15 07:48:57 2013 -0700
@@ -94,7 +94,7 @@
 /**
  * A provider to obtain the textual form of a date-time field.
  *
- * <h3>Specification for implementors</h3>
+ * @implSpec
  * Implementations must be thread-safe.
  * Implementations should cache the textual information.
  *