Java time API (JSR 310) is smarter than initially thought

ZonedDateTimes.java

  public static void main(String[] args) {
    ZonedDateTime auckland = ZonedDateTime.of(LocalDateTime.of(2019, Month.AUGUST, 12, 20, 45), ZoneId.of("Pacific/Auckland"));
    ZonedDateTime london = ZonedDateTime.of(LocalDateTime.of(2019, Month.AUGUST, 12, 9, 45), ZoneId.of("Europe/London"));
    System.out.println(auckland.equals(london)); // false
    System.out.println(auckland.isEqual(london)); // true
    
    auckland = ZonedDateTime.of(LocalDateTime.of(2019, Month.DECEMBER, 12, 20, 45), ZoneId.of("Pacific/Auckland"));
    london = ZonedDateTime.of(LocalDateTime.of(2019, Month.DECEMBER, 12, 7, 45), ZoneId.of("Europe/London"));
    System.out.println(auckland.equals(london)); // false
    System.out.println(auckland.isEqual(london)); // true
  }