public void setSize(int size) { elements.ensureCapacity(size); }
public void setSize(int size) { elements.setSize(size); }
	public void setSize(int size) {		elements.ensureCapacity(size);	} // setSize()