jacocodump: fix dumping