I'm fine with that.
If the CDI folks need this then they need to speak up and make their case.
As discussed in the EG, this would break compatibility with existing listeners. Also it isn't clear to me why CDI needs these events. For now I am not going to add these events to a new listener either.
Yes, that is what I was looking for.
This is the Tomcat bug report that triggered this request:
It might be worth checking with the CDI folks if this is sufficient or if there is anything else they'd like.
Are you looking for requestForwarded(ServletRequestEvent sre) and requestIncluded(ServletRequestEvent sre)? Sounds reasonable. Are there any other such events needed?