I thought there was a static method to do this extraction somewhere...LeaderElector.getPrefixFromChildName, maybe?