a paxos simulation using Java