A minesweeper game in Java