gerrit.onosproject.org / onos / 357bb47ddee60d8a98f3625863d4fbb9a676ed38 / core / api / src / main / java / org / onlab / onos / cluster / MastershipProviderService.java