<BUG>if ( successful ){</BUG><CONTEXT>public void notify( HighAvailabilityMemberListener listener ){listener.masterIsElected( event );}} );<extra_id_0>context.setAvailableHaMasterId( null );if ( oldState.isAccessAllowed() && oldState != state ){</CONTEXT>
[DELETED]