jdk/src/java.base/share/classes/java/util/zip/ZipEntry.java

@@ -218,11 +218,11 @@
      *
      * @param  time
      *         The last modification time of the entry in local date-time
      *
      * @see #getTimeLocal()
-     * @since 1.9
+     * @since 9
      */
     public void setTimeLocal(LocalDateTime time) {
         int year = time.getYear() - 1980;
         if (year < 0) {
             this.xdostime = DOSTIME_BEFORE_1980;

@@ -257,11 +257,11 @@
      * is used to convert the UTC time to local date-time.
      *
      * @return  The last modification time of the entry in local date-time
      *
      * @see #setTimeLocal(LocalDateTime)
-     * @since 1.9
+     * @since 9
      */
     public LocalDateTime getTimeLocal() {
         if (mtime != null) {
             return LocalDateTime.ofInstant(mtime.toInstant(), ZoneId.systemDefault());
         }