gerrit.onosproject.org / onos / 8d504a9ae3cdc85e7f0f39422b891d7e6dbf0953 / core / api / src / main / java / org / onlab / onos / cluster / MastershipStore.java