// ignore
            }
        }
        cache.clear();
    }

    public void register(MavenProject project, Key key, CacheRecord record) {
        // default cache does not track extension usage
    }

    public void dispose() {
        flush();
    }