private void growArray() {
		int[] newints = new int[Math.max(ints.length * 2, MIN_SIZE)];
		System.arraycopy(ints, 0, newints, 0, ints.length);
		ints = newints;
	}
Doubles the size of the array.
@param size The new capacity of the array.
Ghidra/Framework/Generic/src/main/java/ghidra/util/datastruct/IntArrayList.java