13171318131913201321132213231324132513261327
{ // Persistent but not yet flushed so nothing to "refresh" from! return; } sm.refresh(); } finally { clr.unsetPrimary(); }
13601361136213631364136513661367136813691370
} else { sm = (StateManager) obj; } sm.refresh(); } catch (RuntimeException e) { if (failures == null) {