text: public String toString() {final StringBuilder r = new StringBuilder();r.append("("); for (int i = 0; i < subfilters.length; i++) {if (i > 0)r.append(" OR "); r.append(subfilters[i].toString());}r.append(")"); return r.toString();}