docs: public DateTimeFormatter withPivotYear(Integer pivotYear) {
          if (iPivotYear == pivotYear || (iPivotYear != null && iPivotYear.equals(pivotYear))) {
              return this;
          }
          return new DateTimeFormatter(iPrinter, iParser, iLocale,
                  iOffsetParsed, iChrono, iZone, pivotYear, iDefaultYear);
      }