code: public java.text.DateFormat getTimeFormat() {
          if(timeFormat == null)
              timeFormat = java.text.DateFormat.getTimeInstance(java.text.DateFormat.SHORT);
          return timeFormat;
      }
docs: Gets the time format (as java.text.DateFormat) currently used to format Calendar strings.
  Defaults to the short time instance for your locale.
  @return The time format, which will never be null.