1 files changed, 17 insertions, 0 deletions
diff --git a/java/src/IceInternal/RouterManager.java b/java/src/IceInternal/RouterManager.java
index 4dbaeb5a5f3..0fa349216f1 100644
--- a/java/src/IceInternal/RouterManager.java
+++ b/java/src/IceInternal/RouterManager.java
@@ -54,5 +54,22 @@ public final class RouterManager
         }
     }
 
+    public RouterInfo
+    erase(Ice.RouterPrx rtr)
+    {
+	RouterInfo info = null;
+	if(rtr != null)
+	{
+	    // The router cannot be routed.
+	    Ice.RouterPrx router = Ice.RouterPrxHelper.uncheckedCast(rtr.ice_router(null));
+
+	    synchronized(this)
+	    {
+		info = (RouterInfo)_table.remove(router);
+	    }
+	}
+	return info;
+    }
+
     private java.util.HashMap _table = new java.util.HashMap();
 }