public static void append(ReadableDateTime t,StringBuilder s){
  s.append(t.getYear());
  appendTwoDigits(t.getMonthOfYear(),s);
  appendTwoDigits(t.getDayOfMonth(),s);
  s.append('-');
  appendTwoDigits(t.getHourOfDay(),s);
  s.append(':');
  appendTwoDigits(t.getMinuteOfHour(),s);
  s.append(':');
  appendTwoDigits(t.getSecondOfMinute(),s);
  s.append('.');
  appendThreeDigits(t.getMillisOfSecond(),s);
}

public static void append ( ReadableDateTime t , StringBuilder s ) { s . append ( t . getYear ( ) ) ; appendTwoDigits ( t . getMonthOfYear ( ) , s ) ; appendTwoDigits ( t . getDayOfMonth ( ) , s ) ; s . append ( '-' ) ; appendTwoDigits ( t . getHourOfDay ( ) , s ) ; s . append ( ':' ) ; appendTwoDigits ( t . getMinuteOfHour ( ) , s ) ; s . append ( ':' ) ; appendTwoDigits ( t . getSecondOfMinute ( ) , s ) ; s . append ( '.' ) ; appendThreeDigits ( t . getMillisOfSecond ( ) , s ) ; }
append a timestamp to a string builder .
