code: protected String date (int style, Object arg)
      {
          Date when = massageDate(arg);
          if (when == null) {
              return "<!" + arg + ">";
          }
          return DateFormat.getDateInstance(style, getLocale()).format(when);
      }
docs: Helper function for formatting dates.