#3259 wumpus is now on java7