[Wicket-user] WicketFilter NPE if filter-mapping is servlet-name rather than url-mapping

Hi All, I'm working in 1.3.0 snapshot. Two or three weeks ago it used to be possible to use a filter-mapping like this one: filter-mapping filter-namemy.wicket.filter/filter-name servlet-namemy.servlet/servlet-name /filter-mapping But it looks like a recent change to

Re: [Wicket-user] WicketFilter NPE if filter-mapping is servlet-name rather than url-mapping

So I guess I'm wondering if there's any chance getFilterPath could be massaged to allow servlet-name as well? Could you please open a feature request[1] for that? Cheers, Eelco [1] http://issues.apache.org/jira/browse/WICKET