static int append(char[] src,char[] out,int j){
  System.arraycopy(src,0,out,j,src.length);
  return j + src.length;
}

static int append ( char [ ] src , char [ ] out , int j ) { System . arraycopy ( src , 0 , out , j , src . length ) ; return j + src . length ; }
appends a source array verbatim to the output array . caller must insure there is enough space in the array for the output .
