code: private void grow() {
      final int newsize = store.length + (store.length >>> 1);
      final int[] prev = store;
      store = new int[newsize];
      System.arraycopy(prev, 0, store, 0, size);
    }
docs: Grow array by 50%.