private void setResDocFileRequestAttributes(HttpServletRequest request, final Result result)
private void setResDocFileRequestAttributes(HttpServletRequest request, Result result)
    private void setResDocFileRequestAttributes(HttpServletRequest request, final Result result)	    throws FenixFilterException, FenixServiceException {	final ResultDocumentFileSubmissionBean bean = new ResultDocumentFileSubmissionBean(result);	request.setAttribute("bean", bean);	request.setAttribute("result", result);    }