StringBuilder.append(char[])