Fixed bug in Modelchecker

Bug when running Modelchecker on Windows (path to JPF was incorrect)