Java-ing the results parser, not the solver
sonar happiness
op tree builder