#3259 hanoi environment is now on Java7