I’ve witten a little follow-up some time ago. You can find it here Upgrade tomcat 9 server wont start (RESOLVED) - #2 by andreas
Please also read all the posts along the thread. @Knut added some really useful stuff. Wanted to add that to the docs, but hadn’t had any time lately.