439440441442443444445446447448449
} } public void makeClean(State state) { StateItf sa = (StateItf) state; sa.speedoSetStatus(LifeCycle.PERSISTENT_CLEAN); } public void makeFlushed(State state) { ((StateItf) state).setFlushed(true); }