adjusted Solver Javadoc