java minesweeper thing for posterity