docs: private void grow() {
          final Activation[] elements = new Activation[this.elements.length * 2];
          System.arraycopy( this.elements,
                            0,
                            elements,
                            0,
                            this.elements.length );
          this.elements = elements;
      }