JSP tags for file manager and user authorization.