code: public static final StringBuilder appendDate(StringBuilder sb, Long millis) {
          if (millis == null)
              return sb.append((Long) null);
          Calendar cal = Calendar.getInstance();
          cal.setTimeInMillis(millis);
          TimeZone zone = cal.getTimeZone();
          sb.append(cal.get(Calendar.YEAR)).append('/');
          int m = cal.get(Calendar.MONTH);
          m++; // Month range is 0 - 11. Bump one for formatting
          if (m < 10)
              sb.append('0');
          sb.append(m).append('/');
          int d = cal.get(Calendar.DAY_OF_MONTH);
          if (d < 10)
              sb.append('0');
          sb.append(d).append('-');
          int h = cal.get(Calendar.HOUR_OF_DAY);
          if (h < 10)
              sb.append('0');
          sb.append(h).append(':');
          m = cal.get(Calendar.MINUTE);
          if (m < 10)
              sb.append('0');
          sb.append(m).append(':');
          int s = cal.get(Calendar.SECOND);
          if (s < 10)
              sb.append('0');
          sb.append(s).append('.');
          int ms = cal.get(Calendar.MILLISECOND);
          if (ms < 100)
              sb.append('0');
          if (ms < 10)
              sb.append('0');
          sb.append(ms).append('-');
          sb.append(zone.getDisplayName(zone.inDaylightTime(cal.getTime()), TimeZone.SHORT));
          sb.append('[').append(millis).append(']');
          return sb;
      }
docs: Prints a date. We do not use java.util.DateFormat because it is not thread safe.
  The format is text of the form 2014/06/03-08:48:00.000-CDT
  
  @param sb buffer for output.
  @param millis milliseconds.
  @return the buffer.