}
private String createExecFile() throws IOException {
File f = File.createTempFile("jacoco", ".exec");
final FileOutputStream out = new FileOutputStream(f);
final ExecutionDataWriter writer = new ExecutionDataWriter(out);
writer.visitSessionInfo(new SessionInfo("testid", 1, 2));
writer.visitClassExecution(new ExecutionData(0x1234, "foo/MyClass",
new boolean[] { false, true, true }));
writer.flush();
out.close();
return f.getPath();
}