paxos receiver sender extends server client class