/** Convert to a String. */
public final String toString() {
StringBuffer sb = new StringBuffer();
sb.append(toString1());
ReplaceRule rr = this.next;
while (rr != null) {
sb.append(rr.toString1());
rr = rr.next;
}
return sb.toString();
}