433 |
|
* Set containing all worker threads in pool. Accessed only when |
434 |
|
* holding mainLock. |
435 |
|
*/ |
436 |
< |
private final HashSet<Worker> workers = new HashSet<Worker>(); |
436 |
> |
private final HashSet<Worker> workers = new HashSet<>(); |
437 |
|
|
438 |
|
/** |
439 |
|
* Wait condition to support awaitTermination |
821 |
|
*/ |
822 |
|
private List<Runnable> drainQueue() { |
823 |
|
BlockingQueue<Runnable> q = workQueue; |
824 |
< |
ArrayList<Runnable> taskList = new ArrayList<Runnable>(); |
824 |
> |
ArrayList<Runnable> taskList = new ArrayList<>(); |
825 |
|
q.drainTo(taskList); |
826 |
|
if (!q.isEmpty()) { |
827 |
|
for (Runnable r : q.toArray(new Runnable[0])) { |