With a loop like
for (int i = 0; i < children.size(); i++) {
Object o = children.get(i);
instead of
Iterator it = children.iterator();
while (it.hasNext()) {
Object o = it.next();
we should be on the save side, I think. children can only grow as
there are only methods to add, not to remove tasks/types.
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
