bug found in catmouseworld.java endGame()