small patches for SolveLP and ClassBasedValueFunction, plus an in-Java domain definition for our Zealots model