@Override
	public void deleteRepository(String name) throws UserAccessException, IOException {
		mgr.deleteRepository(currentUser, name);
	}
RMI callback when instance becomes unreferenced by any remote client
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/remote/RepositoryServerHandleImpl.java