PROBCORE-316 Packed the model checker object into an Eclipse job. Now the UI is much prettier.