public void append(char[] otherChars,int otherOffset,int otherLength){
  int newLen=ref.length + otherLength;
  grow(newLen);
  System.arraycopy(otherChars,otherOffset,ref.chars,ref.length,otherLength);
  ref.length=newLen;
}

public void append ( char [ ] otherChars , int otherOffset , int otherLength ) { int newLen = ref . length + otherLength ; grow ( newLen ) ; System . arraycopy ( otherChars , otherOffset , ref . chars , ref . length , otherLength ) ; ref . length = newLen ; }
appends the given array to this charsref
