jdk/src/java.logging/share/classes/java/util/logging/XMLFormatter.java

*** 39,49 ****
   * <p>
   * The XMLFormatter can be used with arbitrary character encodings,
   * but it is recommended that it normally be used with UTF-8.  The
   * character encoding can be set on the output Handler.
   *
!  * @implSpec Since JDK 1.9, instances of {@linkplain LogRecord} contain
   * an {@link LogRecord#getInstant() Instant} which can have nanoseconds below
   * the millisecond resolution.
   * The DTD specification has been updated to allow for an optional
   * {@code <nanos>} element. By default, the XMLFormatter will compute the
   * nanosecond adjustment below the millisecond resolution (using
--- 39,49 ----
   * <p>
   * The XMLFormatter can be used with arbitrary character encodings,
   * but it is recommended that it normally be used with UTF-8.  The
   * character encoding can be set on the output Handler.
   *
!  * @implSpec Since JDK 9, instances of {@linkplain LogRecord} contain
   * an {@link LogRecord#getInstant() Instant} which can have nanoseconds below
   * the millisecond resolution.
   * The DTD specification has been updated to allow for an optional
   * {@code <nanos>} element. By default, the XMLFormatter will compute the
   * nanosecond adjustment below the millisecond resolution (using
*** 82,92 ****
  
      /**
       * Creates a new instance of XMLFormatter.
       *
       * @implSpec
!      *    Since JDK 1.9, the XMLFormatter will print out the record {@linkplain
       *    LogRecord#getInstant() event time} as an Instant. This instant
       *    has the best resolution available on the system. The {@code <date>}
       *    element will contain the instant as formatted by the {@link
       *    DateTimeFormatter#ISO_INSTANT}.
       *    In addition, an optional {@code <nanos>} element containing a
--- 82,92 ----
  
      /**
       * Creates a new instance of XMLFormatter.
       *
       * @implSpec
!      *    Since JDK 9, the XMLFormatter will print out the record {@linkplain
       *    LogRecord#getInstant() event time} as an Instant. This instant
       *    has the best resolution available on the system. The {@code <date>}
       *    element will contain the instant as formatted by the {@link
       *    DateTimeFormatter#ISO_INSTANT}.
       *    In addition, an optional {@code <nanos>} element containing a