return false; }
  public boolean areSubscriptionsChanged() {    if (areSubscriptionsChanged(plugInSubscriptions_)) {      return true;    }    Enumeration enum = processorSubscriptions_.elements();    Vector subscriptions;    while (enum.hasMoreElements()) {      subscriptions = (Vector) enum.nextElement();      if (areSubscriptionsChanged(subscriptions)) {        return true;      }    }