/** * Append a timestamp to a string builder. * * @param t a timestamp * @param s a string builder */ 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); }