Rename Solver to Solver.java