Implement StringBuilder.append(char[], ...) methods