tomcat - Webfilter double urlpattern 定義が必要ですか?

Question

JSF プロジェクトで Tomcat 7 を使用しており、Webfilters を使用しています。

次の問題があります: 以下のように Webfilter を定義すると、Tomcat は問題なく起動します。

@WebFilter(filterName="isLoggedInFilter", urlPatterns={"/pages/*"})
public class IsLoggedInFilter implements Filter {...}

web.xml:

<filter-mapping>
    <filter-name>isLoggedInFilter</filter-name>
    <url-pattern>/pages/*</url-pattern>
</filter-mapping>

しかし、web-xml の URL パターンを空のままにしておくと (同じ URL パターンを 2 回指定したくないため、Tomcat は起動に失敗し、次の例外が発生します: java.lang.IllegalArgumentException: Invalid in filterマッピング

<filter-mapping>
    <filter-name>isLoggedInFilter</filter-name>
    <url-pattern />
</filter-mapping>

本当に URL パターンを 2 回定義する必要がありますか?? Webfilter Annotation で指定しないと、次のいずれかを指定するように指示されます。

助言がありますか？