From 7b1d08dc5770cecf72a3a0fe5667064a5781d514 Mon Sep 17 00:00:00 2001
From: Bela Ban <belaban@mailbox.org>
Date: Wed, 12 Jul 2023 07:30:10 +0200
Subject: [PATCH] Made RouterStubManager.remove() synchronized

---
 src/org/jgroups/stack/RouterStubManager.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/org/jgroups/stack/RouterStubManager.java b/src/org/jgroups/stack/RouterStubManager.java
index e1d782573c..b629e68598 100644
--- a/src/org/jgroups/stack/RouterStubManager.java
+++ b/src/org/jgroups/stack/RouterStubManager.java
@@ -216,7 +216,10 @@ protected boolean add(Target target) {
 
     protected boolean remove(RouterStub stub) {
         if(stub == null) return false;
-        boolean retval=this.stubs.remove(stub);
+        boolean retval=false;
+        synchronized(stubs) {
+            retval=this.stubs.remove(stub);
+        }
         stub.destroy();
         return retval;
     }