added trace to jpf reporting