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

*** 218,228 ****
       *
       * @param  time
       *         The last modification time of the entry in local date-time
       *
       * @see #getTimeLocal()
!      * @since 1.9
       */
      public void setTimeLocal(LocalDateTime time) {
          int year = time.getYear() - 1980;
          if (year < 0) {
              this.xdostime = DOSTIME_BEFORE_1980;
--- 218,228 ----
       *
       * @param  time
       *         The last modification time of the entry in local date-time
       *
       * @see #getTimeLocal()
!      * @since 9
       */
      public void setTimeLocal(LocalDateTime time) {
          int year = time.getYear() - 1980;
          if (year < 0) {
              this.xdostime = DOSTIME_BEFORE_1980;
*** 257,267 ****
       * 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
       */
      public LocalDateTime getTimeLocal() {
          if (mtime != null) {
              return LocalDateTime.ofInstant(mtime.toInstant(), ZoneId.systemDefault());
          }
--- 257,267 ----
       * 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 9
       */
      public LocalDateTime getTimeLocal() {
          if (mtime != null) {
              return LocalDateTime.ofInstant(mtime.toInstant(), ZoneId.systemDefault());
          }