norman 10cd871df7 Release the resources of the BossWorkerPool. See #328		2012-05-21 11:48:52 +02:00
..
src	Release the resources of the BossWorkerPool. See #328	2012-05-21 11:48:52 +02:00
pom.xml	Revert "Set source java version to 1.7 where needed. See #312" as it breaks the build	2012-05-10 10:06:38 +02:00