Ejemplo n.º 1
0
    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.");
        }
      }
    }