public String getTempFilename() { DateFormat fmt = new SimpleDateFormat(TIMESTAMP_FORMAT); fmt.setTimeZone(TimeZone.getTimeZone("GMT")); return TEMP_FILENAME_PREFIX + fmt.format(new Date()) + ".log";
public String getTempFilename(long seq) { StringBuilder fname = new StringBuilder(TEMP_FILENAME_PREFIX); DateFormat fmt = new SimpleDateFormat(TIMESTAMP_FORMAT); fmt.setTimeZone(TimeZone.getTimeZone("GMT")); fname.append(fmt.format(new Date())); fname.append(SEQUENCE_PREFIX).append(seq); fname.append(FILENAME_SUFFIX);  return fname.toString();
	public String getTempFilename() {		DateFormat fmt = new SimpleDateFormat(TIMESTAMP_FORMAT);		fmt.setTimeZone(TimeZone.getTimeZone("GMT"));		return TEMP_FILENAME_PREFIX + fmt.format(new Date()) + ".log";	}