public void reactToChangedFilter() { if (getSubscription().getRemovedCollection().size() > 0) { warn( getName() + " - got " + getSubscription().getRemovedCollection().size() + " removed tasks."); } if (getSubscription().getRemovedList().hasMoreElements()) { Enumeration removedtasks = getSubscription().getRemovedList(); while (removedtasks.hasMoreElements()) { Task task = (Task) removedtasks.nextElement(); warn(getName() + " - task " + task.toString() + " was removed."); } } }