docs: public static DateFormat getBasicDateFormatter() { // PK42263 - made static
          // Retrieve a standard Java DateFormat object with desired format, using default locale
          return customizeDateFormat(DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.MEDIUM), false);
      }