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

…

lib

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

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

NOTICE

…