[325554] JSP editor treated inclusion of an non-existing Servlet as valid, when a catch-all filter (*) is defined in web.xml