Changed JPF reporting to xml format. Added more in-depth jpf reporting.