public StateTransitionObj getPersistentCleanInstance()
{
StateTransitionObj obj = getHollowInstance();
if( obj == null ) return null;
StateTransitionObj sto = (StateTransitionObj) obj;
int val = sto.readField();
int curr = currentState(sto);
if( curr != PERSISTENT_CLEAN ){
logger.log(BasicLevel.INFO, "StateTransitions: Unable to create persistent-clean instance");
logger.log(BasicLevel.INFO, " from a hollow instance by reading a field, state is "+states[curr]);
printSituation();