Added a JPF configuration file