* fixed setting the solver
* run PyDev source formatting