Added WiSARModel.jpf, this file is used to run jpf on our model. Lines 3
and 4 need to be adapted to your personal harware.