gerrit.onosproject.org / onos / 924f7d161ae44f3eb7d3db055c287ce5bfd6d4d6 / core / net / src / main / java / org / onosproject / cluster / impl / LeadershipManager.java