public void export(StatisticsHolder statisticsHolder, Configuration configuration, Instrumentation instrument) {
		String fileName = configuration.getExportFileName();
		File f = new File(fileName);
		try {
			if (f.exists()) {
				DateFormat df = new SimpleDateFormat(configuration.getExportFileRenamePattern());
				Date date = new Date();
				String s = df.format(date);
				File file = new File(f.getParentFile(), f.getName() + s);
				if (file.exists()) {
					file = new File(f.getParentFile(), f.getName() + s + date.getTime());
				}
				boolean b = f.renameTo(file);
				if (!b) {
					System.err.println("Can't rename old file to new one with name: " + file);
				}
			}
			FileWriter writer = new FileWriter(f);
			writer.append("class name|method name and description|is visited?\n");
			long lastMethodId = statisticsHolder.lastMethodId();
			for (int i = 1; i <= lastMethodId; i++) {
				String clazz = statisticsHolder.className(i);
				String methodName = statisticsHolder.methodName(i);

				writer.append(clazz).append("|").append(methodName).append("|");
				writer.append(statisticsHolder.isVisited(i) ? "yes" : "no");
				writer.append("\n");
			}
			writer.close();
		} catch (IOException e) {
			throw new RuntimeException(e);
		}
	}