public void dropHandle(RepositoryHandleImpl handle) {
		synchronized (handleList) {
			handleList.remove(handle);
		}
	}
Drop the specified handle to this repository
@param handle user repository handle
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/Repository.java