*/
public final DispatchWorkerPool getDispatchWorkerPool() {
if (this.dispatchWorkerPool == null) {
synchronized(this) {
if (this.dispatchWorkerPool == null)
this.dispatchWorkerPool = new DispatchWorkerPool(this);
}
}
return this.dispatchWorkerPool;
}