public void ensureCapacity(int minCapacity) {
		int oldCapacity = data.length;
		
		if (minCapacity > oldCapacity) {
			int oldData[] = data;
			int newCapacity = (oldCapacity * 3)/2 + 1;
			if (newCapacity < minCapacity) {
				newCapacity = minCapacity;
			}
			data = new int[newCapacity];
			System.arraycopy(oldData, 0, data, 0, size);
		}
	}