gerrit.onosproject.org / onos / 7a8de847ad9ba658d51c39bddf7a10b8d5372847 / core / store / primitives / src / main / java / org / onosproject / store / primitives / impl / DefaultLeaderElectorBuilder.java