Just to sum up.

The goal is to use one version of Tomcat on which we can run with both JDKs (8 and 11) - which is likely Tomcat 9.
On the way we surely want to drop Tomcat 7 and possibly even Tomcat 8 as that one doesn't work with newer JDKs anyway.

We should also remember to update the README file.