Many thanks Guillaume.

Following your comment I did some tests locally by upgrading separately

• My JDK from 1.8.0_112 to 1.8.0_161
• My Tomcat from 8.0.32 to 8.0.47

Upgrading only the tomcat to 8.0.47 was enough to solve the problem.

As we are not managing the production servers, it will be a real challenge to request their updates :-/

Kind regards,
Marc