code: public String[] toStringArray() {
  	String[] result;
  	result = new String[size() + 2];
  
  	result[0] = name;
  	result[1] = String.valueOf(size());
  	System.arraycopy(values, 0, result, 2, size());
  
  	return result;
      }
docs: ===========================================