public org.bwapi.proxy.messages.TerrainMessages.PolygonOrBuilder getHolesOrBuilder(
          int index) {
        if (holesBuilder_ == null) {
          return holes_.get(index);  } else {
          return holesBuilder_.getMessageOrBuilder(index);
        }
      }