java minesweeper thing, for posterity