Automatically flush code cache
Automatically flush code cache

See https://www.atlassian.com/blog/archives/codecache-is-full-compiler-has-been-disabled.

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless