gerrit.onosproject.org / onos / 16ec41d9da5b008c5e0aeee79bcad3abaf41f08c / core / api / src / main / java / org / onosproject / mastership / MastershipInfo.java