Some javadoc fixes
Make WorkerPool use a ConcurrentHashSet (backed by CHM)