public void dumpPerformanceData() throws Exception
	{
		performanceDataSemaphore.acquireUninterruptibly();

		try {
			if (config.getPerformanceDataFileName() != null) {
				System.out.println("Dumping performance data to " + config.getPerformanceDataFileName());
				performanceData.dump(config.getPerformanceDataFileName());
			}
		}
		finally {
			performanceDataSemaphore.release();
		}
	}