System.out.printf("exec file: %s%n", file);
System.out.println("CLASS ID HITS/PROBES CLASS NAME");
final FileInputStream in = new FileInputStream(file);
final ExecutionDataReader reader = new ExecutionDataReader(in);
reader.setSessionInfoVisitor(new ISessionInfoVisitor() {
public void visitSessionInfo(final SessionInfo info) {
System.out.printf("Session \"%s\": %s - %s%n", info.getId(),
new Date(info.getStartTimeStamp()),
new Date(info.getDumpTimeStamp()));
}