public Builder addAllVertices(
          java.lang.Iterable<? extends org.bwapi.proxy.messages.BasicTypes.Position> values) {
        if (verticesBuilder_ == null) {
          ensureVerticesIsMutable();
          super.addAll(values, vertices_);
          onChanged();
        } else {
          verticesBuilder_.addAllMessages(values);
        }
        return this;
      }