/** * @deprecated The buffer are general purpose, caching for headers should be done in headers. The * second parameter allows us to pass a date format instance to avoid synchronization * problems. */ public void setTime(long t, DateFormat df) { // XXX replace it with a byte[] tool recycle(); if (dateValue == null) dateValue = new Date(t); else dateValue.setTime(t); if (df == null) strValue = DateTool.format1123(dateValue); else strValue = DateTool.format1123(dateValue, df); hasStrValue = true; hasDateValue = true; type = T_STR; }