CP: StringBuilder.append(char[])