String () { StringBuilder buf = new StringBuilder(); buf.append("("); for (int i = 0; i < size(); i++) { if (i > 0) buf.append(", "); int value = get(i); DfaValue dfaValue = myFactory.getValue(value); buf.append(dfaValue); } buf.append(")"); return buf.toString(); }