Package bftsmart.statemanagement.standard