code: static final public DateFormat getDateInstance(Calendar cal, int dateStyle, Locale locale)
      {
          return getDateTimeInstance(cal, dateStyle, -1, ULocale.forLocale(locale));
      }
docs: Creates a {@link DateFormat} object 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.
  
  @param locale The locale for which the date format is desired.