processor.setReportTypes(new String[] { DEFAULT_EXTENSIONS[format] });
Properties props = new Properties(options);
props.setProperty(PROP_OUT_FILE, destination);
props.setProperty(PROP_OUT_ENCODING, OUTPUT_ENCODING);
processor.setPropertyOverrides(props);
processor.run();
monitor.done();
}
private void createSessionFile(IProgressMonitor monitor) throws CoreException {
IInstrumentation[] instrs = session.getInstrumentations();