public void exportInteractively(Vector filter, File dest) {
ProgressDialog p = ProgressDialog.create(this, resource
.getString("ExportExporting"), resource
.getString("ExportExportingDataDots"));
ExportMetricsFileInstruction instr = new ExportMetricsFileInstruction(
dest.getAbsolutePath(), filter);
p.addTask(ExportManager.getInstance().getExporter(instr));
p.setCompletionMessage(resource.getString("ExportDone"));
p.run();
}