code: static final public DateFormat getInstance(Calendar cal) {
          return getInstance(cal, ULocale.getDefault(Category.FORMAT));
      }
docs: Returns a default date/time formatter that uses the SHORT style for both the
  date and the time.
  
  @param cal   The calendar system for which a date/time format is desired.