/** @apilevel low-level */ public void flushCache() { super.flushCache(); sourceMethodDecl_computed = false; sourceMethodDecl_value = null; }