public void setFilter(Filter filter) {
   filter_ = filter;
   filterId_ = pushSupplier_.add_filter(filter);
 }