minor update in Bully.java; triggering selectnewleader from search.java