/// <summary>
/// Remove {@code listener} from the list of listeners who receive events.
/// </summary>
/// <param name="listener"> </param>
public void removeListener(LeaderElectionAware listener)
{
listeners.TryRemove(listener, out dummy);
}
/// <summary>
/// Adds {@code listener} to the list of listeners who will receive events.
/// </summary>
/// <param name="listener"> </param>
public void addListener(LeaderElectionAware listener)
{
listeners[listener] = dummy;
}
