Norman Maurer 24b39bc287 Only schedule a ThreadDeathWatcher task if caches are used. ... Motivation: If caches are disabled it does not make sense to schedule a task that will free up memory consumed by the caches. Modifications: Do not schedule if caches are disabled. Result: Less overhead.		2016-12-08 10:36:29 +01:00
..
src	Only schedule a ThreadDeathWatcher task if caches are used.	2016-12-08 10:36:29 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2016-10-14 13:20:41 +02:00