From 5f24e6a46de76491f521654b74e6d27d102db638 Mon Sep 17 00:00:00 2001 From: manansaini Date: Mon, 3 Apr 2023 21:35:28 +0530 Subject: [PATCH] changed unnecessary type parameters --- .../java/io/mantisrx/server/worker/WorkerIndexHistory.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mantis-server/mantis-server-worker/src/main/java/io/mantisrx/server/worker/WorkerIndexHistory.java b/mantis-server/mantis-server-worker/src/main/java/io/mantisrx/server/worker/WorkerIndexHistory.java index 5bd2b182c..65fbcc00e 100644 --- a/mantis-server/mantis-server-worker/src/main/java/io/mantisrx/server/worker/WorkerIndexHistory.java +++ b/mantis-server/mantis-server-worker/src/main/java/io/mantisrx/server/worker/WorkerIndexHistory.java @@ -22,8 +22,8 @@ public class WorkerIndexHistory { - final Set runningWorkerIndex = new HashSet(); - final Set terminalWorkerIndex = new HashSet(); + final Set runningWorkerIndex = new HashSet<>(); + final Set terminalWorkerIndex = new HashSet<>(); public synchronized void addToRunningIndex(int workerIndex) { runningWorkerIndex.add(workerIndex);