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