330331332333334335336337338339340
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)) {