docs: public static char[] addToCharArray(char[] a, char value) {
  		
  		if(a == null || a.length == 0) {
  			return new char[] {value};
  		}
  		
  		char[] array = new char[a.length + 1];
  		array[a.length] = value;
  		return array;
  	}