the mutant/fix candidate is now compiled with jml4c