added PaxosQueue class