gerrit.onosproject.org / onos / 47b80ba72e9c153624f4019a04a963712380add3 / core / api / src / main / java / org / onosproject / store / service / LeaderElector.java