@Override
  public String toString() {
    return ((myDfaFilter == null ? "" : myDfaFilter.toString()) +
           " " + (myStackFilter == null ? "" : myStackFilter.toString())).trim();
  }
@Override
  public String toString()