code: public static String getDateShort(long time) {
  
          return getDate(new Date(time), DateFormat.SHORT, CmsLocaleManager.getDefaultLocale());
      }
docs: Returns a formated date String form a timestamp value,
  the formatting based on the OpenCms system default locale
  and the {@link DateFormat#SHORT} date format.<p>
  
  @param time the time value to format as date
  @return the formatted date