docs: public void setNewFilterTree(BaseMessageFilter messageFilter, Object[][] propKeys)
      {
          if (propKeys != null)
              if (!propKeys.equals(messageFilter.getNameValueTree()))
          {   // This moves the filter to the new leaf
              this.getRegistry().removeMessageFilter(messageFilter);
              super.setNewFilterTree(messageFilter, propKeys);
              this.getRegistry().addMessageFilter(messageFilter);
          }
      }