如何使用不同的 javax.servlet-api？

我正在尝试调试一些代码以确保我正确设置了一些 HttpServletResponse 标头。为此，我只想打印出来自 HttpServletRequest 和 HttpServletResponse 的标头。请求端工作正常，但响应没有，因为 response.getHeaderNames() 未定义。

    private void printDebug(HttpServletRequest request, HttpServletResponse response) {
        System.out.println("----- Request ---------");
        Collections.list(request.getHeaderNames()).forEach(n -> System.out.println(n + ": " + request.getHeader(n.toString())));

        System.out.println("----- Response ---------");
        response.getHeaderNames().forEach(n -> System.out.println(n + ": " + response.getHeader(n)));
}

使用：
Eclipse Oxygen.1a Release (4.7.1a)
Tomcat v.7.0
jdk1.8.0_112

Project Facets:
Dynamic Web Module 3.1

在我的 pom 文件中：

<dependency>
    <groupId>javax.servlet</groupId>
    <artifactId>javax.servlet-api</artifactId>
    <version>3.1.0</version>
    <scope>provided</scope>
</dependency>
<dependency>
    <groupId>javax.servlet.jsp</groupId>
    <artifactId>jsp-api</artifactId>
    <version>2.2</version>
    <scope>provided</scope>
</dependency>
<dependency>
    <groupId>javax.servlet</groupId>
    <artifactId>jstl</artifactId>
    <version>1.2</version>
</dependency>

但是在某些地方，我确定我缺少一个配置，默认情况下将 Eclipse 指向我们 2.5 javax.servlet-api，但我只是不知道在哪里查看或如何更改它。

更新：如果我取消选中“动态 Web 模块”，然后进行 maven 更新，maven 会将动态 Web 模块设置回 2.5

我怎样才能让这个 getHeaderNames() 工作？