code: 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);
      }
docs: Return a DateFormat object that can be used to format timestamps in the
  System.out, System.err and TraceOutput logs. It will use the default date
  format.