From: Mark Thomas <markt_at_apache.org>
Date: Wed, 1 Mar 2017 21:28:25 +0000

Hi all,

I've been updating Tomcat to the latest API and I have a couple of
proposed changes (for consistency). They are:

RequestDispatcher.FORWARD_MAPPING
to
RequestDispatcher.FORWARD_SERVLET_MAPPING

RequestDispatcher.INCLUDE_MAPPING
to
RequestDispatcher.INCLUDE_SERVLET_MAPPING


Also, I'd like to repeat my request for adding
ServletMapping.UNKNOWN

rather than using null.

Thanks,

Mark