void
addRoleChangeHandler(DLedgerLeaderElector.RoleChangeHandler roleChangeHandler)
Copyright © 2019. All Rights Reserved.