Renaming OneThreeHeap.java to SearchHeap.java