public void destroyTask(Task task) {
		if (task == null) {
			throw new NullPointerException();
		}
		this.tasks.remove(task);
		task.destroy();
		String name = task.getName();
		this.logger.logInfo(LOGGING_SOURCE, "task destroyed '" + name + "'");
	}