public Builder removeMinerals(int index) {
        if (mineralsBuilder_ == null) {
          ensureMineralsIsMutable();
          minerals_.remove(index);
          onChanged();
        } else {
          mineralsBuilder_.remove(index);
        }
        return this;
      }