update paxos.scala format