Helping a friend sort a HashSet in Java.