We recently migrated our embedded java web servers from jetty to tomcat. We have now a final code that run tomcat in java like so:
final var tomcat =
