newJobManagerLeaderAvailable(msg.leaderAddress(), msg.leaderSessionId());
newJobManagerLeaderAvailable(msg.leaderAddress(), msg.leaderSessionId());
newJobManagerLeaderAvailable(msg.leaderAddress(), msg.leaderSessionId());
newJobManagerLeaderAvailable(msg.leaderAddress(), msg.leaderSessionId());