gerrit.onosproject.org / onos / 39fff107c49c66dcba6151dce629f9789bcf2289 / core / api / src / main / java / org / onosproject / store / service / LeaderElectorBuilder.java