--- a/jdk/src/share/classes/java/time/zone/Ser.java	Wed May 15 15:01:59 2013 +0100
+++ b/jdk/src/share/classes/java/time/zone/Ser.java	Wed May 15 07:48:57 2013 -0700
@@ -74,7 +74,7 @@
 /**
  * The shared serialization delegate for this package.
  *
- * <h3>Implementation notes</h3>
+ * @implNote
  * This class is mutable and should be created once per serialization.
  *
  * @serial include