url);
if (dest.toLowerCase().endsWith(".txt"))
return new ExportTask(targetPath, new TextMetricsFileExporter(
dashboard, destFile, paths));
else
return new ExportTask(targetPath, new ArchiveMetricsFileExporter(
dashboard, destFile, url, paths,
instr.getMetricsIncludes(), instr.getMetricsExcludes(),
instr.getAdditionalFileEntries()), instr);
}