zzz 2af7066074 Jetty: Switch from jetty to tomcat jar for servlet-api ...

to get the 4.0 dtds
Put servlet version on the logs page

2020-06-07 16:22:21 +00:00

..

bin

Tomcat 9.0.35 (Servlet 4.0)

2020-05-31 15:35:18 +00:00

lib

Jetty: Switch from jetty to tomcat jar for servlet-api

2020-06-07 16:22:21 +00:00

NOTICE

Tomcat 9.0.35 (Servlet 4.0)

2020-05-31 15:35:18 +00:00