Java code to solve the conjugacy problem for the Thompson group.