docs: public DateTimeFormatter withChronology(Chronology chrono) {
          if (iChrono == chrono) {
              return this;
          }
          return new DateTimeFormatter(iPrinter, iParser, iLocale,
                  iOffsetParsed, chrono, iZone, iPivotYear, iDefaultYear);
      }