Fault-tolerant cluster manager for Vert.x