Made tracegenerator create .jpf file that writes to file