public Builder addAllBodies(
          java.lang.Iterable<? extends java.lang.Integer> values) {
        ensureBodiesIsMutable();
        super.addAll(values, bodies_);
        onChanged();
        return this;
      }