docs: public String getFiltersString() {
  
          StringBuffer result = new StringBuffer();
          Iterator<String> i = m_filters.iterator();
          while (i.hasNext()) {
              String filter = i.next();
              result.append(filter);
              if (i.hasNext()) {
                  result.append(':');
              }
          }
          return result.toString();
      }