System.out.println("RBS: Subscription changed "+ subs.getAddedCollection().size()+":"+ subs.getChangedCollection().size()+":"+ subs.getRemovedCollection().size());
  public void subscriptionChanged () {System.out.println("RBS: Subscription changed "+subs.getAddedCollection().size()+":"+subs.getChangedCollection().size()+":"+subs.getRemovedCollection().size());    synchronized (lock) {      if (dead) {        System.out.println(          "RemoteSubscription::subscriptionChanged:  ignored (never appear).");      }      else {        add(subs.getAddedCollection());        change(subs.getChangedCollection());        remove(subs.getRemovedCollection());        hasNewStuff = true;      }    }  }