public void flushCache() { super.flushCache(); subtype_TypeDecl_visited = new java.util.HashMap(4); instanceOf_TypeDecl_values = null; }