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

..

lib

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

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

start.jar

Installer: Require Java 8 (ticket #2511)

2020-05-27 16:08:54 +00:00