}
public File getStateOkFlagFile() throws HeapException {
if (crashSafeMode) {
if (backupDataFile == null) {
throw new HeapException(
"crash safe mode set but state ok for data file not defined");
}
} else {
throw new HeapException(
"do not use state ok for data file is crash safe mode not set");
}
return stateOkFlagFile;
}