Defines specific behavior for each implemented fault-tolerance protocol. FTManager.java defines common behavior.
FTManager.java