public static void logOperationFinish(String operationName, Logger logger,
			LogLevel priority) {
		if (LoggerWrap.isEnabledFor(logger, priority)) {
			ElkTimer timer = ElkTimer.getNamedTimer(operationName,
					ElkTimer.RECORD_WALLTIME);
			timer.stop();
			LoggerWrap.log(logger, priority, operationName + " took "
					+ timer.getTotalWallTime() / 1000000 + " ms");
		}
	}
public static void logOperationFinish(String operationName, Logger logger,
			LogLevel priority) {
		if (LoggerWrap.isEnabledFor(logger, priority)) {
			ElkTimer timer = ElkTimer.getNamedTimer(operationName,
					ElkTimer.RECORD_WALLTIME);
			timer.stop();
			LoggerWrap.log(logger, priority, operationName + " took "
					+ timer.getTotalWallTime() / 1000000 + " ms");
		}
	}
public static void logOperationFinish ( String operationName , Logger logger , LogLevel priority ) { if ( LoggerWrap . isEnabledFor ( logger , priority ) ) { ElkTimer timer = ElkTimer . getNamedTimer ( operationName , ElkTimer . RECORD_WALLTIME ) ; timer . stop ( ) ; LoggerWrap . log ( logger , priority , operationName + " took " + timer . getTotalWallTime ( ) / 1000000 + " ms" ) ; } }
Log the end of a particular operation the beginning of which has been
logged using logOperationStart(), using the given logging priority.

@param operationName
@param logger
@param priority
Log the end of a particular operation the beginning of which has been logged using logOperationStart () using the given logging priority .