/**
* @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;
}
