nonDeterm.add(t2);
}
}
}
// check if all non-deterministic situations have been resolved
nonDeterm.removeAll(removeList);
if (nonDeterm.size() > 0) {
// if not, first one in each state / region (which is also
// first in document order) wins
Set regions = new HashSet();
Iterator iter = nonDeterm.iterator();