for (int i = 0; i < nodeNames.length; i++)
extractNamedTask(newLeaves, tasksToInsert, nodeNames[i]);
if (tasksToInsert.isEmpty())
return null;
int insertionPos = newLeaves.indexOf(insertionMarker);
newLeaves.remove(insertionPos);
newLeaves.addAll(insertionPos, tasksToInsert);
evLeaves = new ArrayList(newLeaves);
enumerateOrdinals();