State timeout in BecomingLeader, see #2895
Use Vector instead of Queue, see #2895