/** @apilevel internal */ public void flushCollectionCache() { super.flushCollectionCache(); }
/** @apilevel low-level */ public void flushCache() { super.flushCache(); }