/** mark the end of a task */ public synchronized void markTaskEnd(TaskStats stats, int count) { int numParallelTasks = nextTaskRunNum - 1 - stats.getTaskRunNum(); // note: if the stats were cleared, might be that this stats object is // no longer in points, but this is just ok. stats.markEnd(numParallelTasks, count); }