Configured for JPF

I changed the default mode to be PRODUCTION rather than DEBUG. I
added the Application.jpf file to work with the JPF Eclipse
plugin. JPF then quickly found a place that was not protected with
the debug() check. I corrected the issue.