A Java Sudoku solver