WorkerPool is now final