// store the coverage
OutputStream os = null;
try {
os = new BufferedOutputStream(new FileOutputStream(coverageFile));
delegate.prepare(outputFormat, coverage);
delegate.encode(os);
os.flush();
} finally {
if(os != null) os.close();
}
System.out.println(coverageFile);