private void shrinkArray() {
    	int newsize = ints.length/2;
    	if (newsize < MIN_SIZE) {
    		return;
    	}
        int [] newints = new int[newsize];
        System.arraycopy(ints,0,newints,0,size);
        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