public GMS() { initState(); }
impl.leave(evt.getArg()); if(!(impl instanceof CoordGmsImpl)) { initState(); // in case connect() is called again
public GMS() { initState(); }
public GMS() { initState(); }
gms.stopFlush(new_view); if(leaving) { gms.initState(); // in case connect() is called again
impl.leave((Address)evt.getArg()); if(!(impl instanceof CoordGmsImpl)) { initState(); // in case connect() is called again
impl.leave(evt.getArg()); if(!(impl instanceof CoordGmsImpl)) { initState(); // in case connect() is called again