badTagsAll = new List[taglibraries.length];
for (int i = 0; i < badTagsCurrent.length; i++) {
badTagsCurrent[i] = new ArrayList<Integer>();
badTagsAll[i] = new ArrayList<Integer>();
}
tagSelector = new TagSelector(tagAllocationTable,taglibraries,tagorder);
}