/** @apilevel internal */ public void flushCollectionCache() { super.flushCollectionCache(); }
/** @apilevel low-level */ public void flushCache() { super.flushCache(); type_computed = false; type_value = null; }