Should be called if this cache is not used anymore.
Should be called if this cache is not used anymore.
Frees resources in the global cache, if they are not used anymore.
The cache may be reused after calling free (but this is not any
faster than calling newCache, modulo the object allocation).
A cache to use for individual runs. Not threadsafe