Fixed bugs of RMI server. Added a runner for Paxos nodes.