code: static final public DateFormat getDateInstance(Calendar cal, int dateStyle) {
          return getDateInstance(cal, dateStyle, ULocale.getDefault(Category.FORMAT));
      }
docs: Creates a {@link DateFormat} object for the default locale that can be used
  to format dates in the calendar system specified by <code>cal</code>.
  <p>
  @param cal   The calendar system for which a date format is desired.
  
  @param dateStyle The type of date format desired.  This can be
  {@link DateFormat#SHORT}, {@link DateFormat#MEDIUM},
  etc.