Package bftsmart.statemanagement