public File getRolloverFile() { String fname = toArchiveLogFilename(new Date());
public File getRolloverFile(long seq) { String fname = toArchiveLogFilename(new Date(), seq);
	public File getRolloverFile() {        String fname = toArchiveLogFilename(new Date());        File destDir = mRedoLogMgr.getRolloverDestDir();        if (!destDir.exists()) {            // Guard against someone messing around on server and            // deleting the directory manually.            if (!destDir.mkdir() && !destDir.exists()) {                mLog.error("Unable to create rollover destination directory " + destDir.getAbsolutePath());            }        }		return new File(destDir, fname);	}