A Paxos-based replication library in Java