Spring Security with Vaadin – customized JSP form-based authentication