Performance: Use array doubling in append(char[],int,int) for resizing the array. This was already being done in the other append() methods.