code: private String formatDate(Date date) {
  
          if (null == m_dateFormat) {
              m_dateFormat = DateFormat.getDateInstance(
                  0,
                  OpenCms.getWorkplaceManager().getWorkplaceLocale(getCmsObject()));
          }
          return m_dateFormat.format(date);
      }
docs: Format the date for the status messages.
  
  @param date the date to format.
  
  @return the formatted date.