}
CoverageData data = r.done();
if(c.isJsonOutputMerge() && new File(fileout).exists()) {
FileReader fr = new FileReader(fileout);
CoverageData moreData = new JsonIngester().ingest(fr);
fr.close();
data = moreData.plus(data);
}
c.getGenerator().generate(data);