Spring MVC implementation of a log-in system (mirrors Tornado-login)