final changes to Board.java and Solver.java.