docs: public static String timestampToString(long ts, int precision, TimeZone tz) {
  		int p = (precision <= 3 && precision >= 0) ? precision : 3;
  		String format = DEFAULT_DATETIME_FORMATS[p];
  		return dateFormat(ts, format, tz);
  	}