private void ensureBodiesIsMutable() {
        if (!((bitField1_ & 0x00000004) == 0x00000004)) {
          bodies_ = new java.util.ArrayList<java.lang.Integer>(bodies_);
          bitField1_ |= 0x00000004;
         }
      }