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