private void resizeArray( int minNewSize) {
		int newSize = array.length;
		while(newSize < minNewSize) {
			newSize *= 2;
		}
		// Could be Arrays.copyOf(array,newSize);
		Object[] newArray = new Object[newSize];
		for(int i = 0; i < array.length; i ++) {
			newArray[i] = array[i];
		}
		array = newArray;
		
	}