this should be retrieved as attribute attached to the request (set it in the servlet side)