Had to change default port # since others are using the nodes
Merge branch 'master' of
https://github.com/jsebrof/AppDistCompProj4Paxos.git