Thanks a lot @Kevin!
That sounds like a decent approach, I’ll go with it.
The legacy system I mentioned uses xampp. I must have had a bad day, because I did google and had not found that xampp has a tomcat plug-in. Together with your information, I’m confident the whole set-up will be straight forward and not throw any (more) bad surprises at me.
I did your server tutorials (well, half of them), so I’m familiar with jetty and can now be confident tomcat will run pretty much like it.
~Cheers!