improve: prepare for removal of exitOnStopLeading from public API#3161

metacosm merged 2 commits intonextoperator-framework/java-operator-sdk:nextfrom

leader-electionoperator-framework/java-operator-sdk:leader-electionCopy head branch name to clipboard