From the example video https://www.youtube.com/watch?v=PNAo3ApWA-A posted back in 10/2013, the hosts demonstrate adding to web.xml the following:
<listener>
<listener-class>org.apache.shiro.web.env.EnvironmentLoaderListener</listener-class>
</listener>
<filter>
<filter-name>ShiroFilter</filter-name>
<filter-class>org.apache.shiro.web.servlet.IniShiroFilter</filter-class>
</filter>
Since Vaadin 7.x is now using Servlet 3.0 and no longer requires the web.xml, do we need to modify @WebServlet or @VaadinServletConfiguration for Shiro useage? Or, do I just add the Shiro dependency in Maven and let the magic happen? Thanks!