Apache Shiro and Servlet 3.0 Configuration in Vaadin 7.x

General
1

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!