docs: public DateTimeFormatter withZone(DateTimeZone zone) {
          if (iZone == zone) {
              return this;
          }
          return new DateTimeFormatter(iPrinter, iParser, iLocale,
                  false, iChrono, zone, iPivotYear, iDefaultYear);
      }