private void ensureIsExploredIsMutable() {
        if (!((bitField0_ & 0x00000002) == 0x00000002)) {
          isExplored_ = new java.util.ArrayList<java.lang.Integer>(isExplored_);
          bitField0_ |= 0x00000002;
         }
      }