CpsFlowExecution old = PROGRAM_STATE_SERIALIZATION.get();
PROGRAM_STATE_SERIALIZATION.set(execution);
try {
RiverWriter w = new RiverWriter(tmpFile, execution.getOwner());
try {
w.writeObject(this);
} finally {
w.close();
}
Util.deleteFile(f);
if (!tmpFile.renameTo(f)) {
throw new IOException("rename " + tmpFile + " to " + f + " failed");
}