public Builder removeOpList(int index) {
        if (opListBuilder_ == null) {
          ensureOpListIsMutable();
          opList_.remove(index);
          onChanged();