Task task = (Task)task_enum.nextElement();
taskAllocationCount++;  task = (Task)task_enum.nextElement();
    private void allocateTasks(Enumeration task_enum) {	while (task_enum.hasMoreElements()) {	    Task task = (Task)task_enum.nextElement();	    //debug(DEBUG, FILENAME, fw, "DevelopmentAllocatorPlugIn: Got task from blackboard.." 	    //+ task.getPreferredValue(AspectType._ASPECT_COUNT ) + " with verb " + task.getVerb());	    startTime = new Date();	    waitFor(THINK_TIME);	    allocateTask(task, startMonth(task));	}    }