gerrit.onosproject.org / onos / 3e6ac5bd41266920241809233ffb2914f351400d / core / net / src / main / java / org / onosproject / cluster / impl / MastershipProxyManager.java