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. *