code: public void push(final T element) {
      int newSize = this.size + 1;
      this.ensure(newSize);
      this.elements[this.size++] = element;
    }
docs: Pushes an element at the end of the vector.
  @param element the element