code: public void setDestinationFilter(SIBUuid12 destination)
    {
      if (tc.isEntryEnabled())
        SibTr.entry(tc, "setDestinationFilter", destination);
  
      this._destination = destination;
      this._subscriptionId = null;
      this._consumerDispatcherState = null;
      
      if (tc.isEntryEnabled())
        SibTr.exit(tc, "setDestinationFilter");
    }
docs: setter to create a filter based on destination name
  
  @param destination The destination uuid