gerrit.onosproject.org / onos / 1ee91780ea36150c7936406ebba5309bb049cd2a / core / store / dist / src / main / java / org / onlab / onos / store / cluster / impl / LeadershipManager.java