Fix Hanoi.java