docs: public DateTimeFormatter withLocale(Locale locale) {
          if (locale == getLocale() || (locale != null && locale.equals(getLocale()))) {
              return this;
          }
          return new DateTimeFormatter(iPrinter, iParser, locale,
                  iOffsetParsed, iChrono, iZone, iPivotYear, iDefaultYear);
      }