elk-util-parent/elk-util-logging/src/main/java/org/semanticweb/elk/util/logging/Statistics.java
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