/** @apilevel low-level */
public void flushCache() {
super.flushCache();
boxed_computed = false;
boxed_value = null;
jvmName_computed = false;
jvmName_value = null;
getSootType_computed = false;
getSootType_value = null;
}
/** @apilevel internal */
public void flushCollectionCache() {
super.flushCollectionCache();
}
