Add imports for user and HttpRedirect.