gerrit.onosproject.org / onos / 7a068749ee7633a8d9fa8c25a1102eefcb335fcd / core / api / src / main / java / org / onosproject / cluster / Leader.java