Changes to control the restart of ZooKeeper servers so that all are not down at the same time