code: public static ZoneId toZoneId(TimeZone timeZone) {
          return ZoneId.of(timeZone.getID(), ZoneId.SHORT_IDS);
      }
docs: Converts a {@code TimeZone} to a {@code ZoneId}.
  
  @param timeZone  the time-zone, not null
  @return the zone, not null