changeset 17474 | 8c100beabcc0 |
parent 16852 | 60207b2b4b42 |
child 19030 | 32f129cb6351 |
--- a/jdk/src/share/classes/java/time/ZoneRegion.java Wed May 15 15:01:59 2013 +0100 +++ b/jdk/src/share/classes/java/time/ZoneRegion.java Wed May 15 07:48:57 2013 -0700 @@ -83,7 +83,7 @@ * By contrast, the region identifier is well-defined and long-lived. * This separation also allows rules to be shared between regions if appropriate. * - * <h3>Specification for implementors</h3> + * @implSpec * This class is immutable and thread-safe. * * @since 1.8