Java Wumpus-World game.