web.xml, filter-mapping, url-pattern

Tomcat で使う web.xml の の子要素 には glob しか指定できないみたい。regex が指定できればなぁ……