reformat code Solver.java
RC1