paxos/config-files/one-legislator.json

{
    "legislators" : [
        {
            "ip" : "127.0.0.1",
            "port" : 8000,
            "name" : "legislator1"
        }
    ]
}