for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);
for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);
for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);
for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);
for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);
for (ForkJoinWorkerThread w : ws) if (w != null) count += w.drainTasksTo(c);