/////////////////////////////////////////////////////////////////////////////
// constructor(s)
public DefaultTaskManager(int numThreads, TaskSet taskSet)
{
executor = Executors.newFixedThreadPool(numThreads, new NamedThreadFactory("TaskExecutor"));
this.taskSet = taskSet;
}