docs: public synchronized void pushExternalCacheFragment(ExternalInvalidation externalCacheFragment, DCache cache) {
          BatchUpdateList bul = getUpdateList(cache);
          bul.pushECFEvents.add(externalCacheFragment);
      }