code: private void removeRequestUnprotected(ResourceRequest req) {
      Integer requestId = req.getId();
      removeGrantedResourceUnprotected(requestId);
      requestMap.remove(requestId);
    }
docs: Removes the request from requestToTipMap, and if updateTaskContext is true,
  also from taskContext map. It *does not* remove from requestedResources.
  This lets getResourcesToRelease() figure out what needs to be released.