Đã giải quyết!
Đề xuất của Arturs Licis là chìa khóa. Bằng cách nào đó, trình điều khiển mysql đã được tải xuống không chính xác. Có vẻ như đây là một tệp .jar, nhưng không tải được. Tomcat chỉ hiển thị cấp độ đầu tiên của ngoại lệ:
java.lang.ClassNotFoundException: com.mysql.jdbc.Driver
[...]
Nhưng khi tôi mã hóa một helloworld rất đơn giản bằng Class.forName ("com.mysql.jdbc.Driver"), lỗi sau đã được hiển thị thay thế:
java.lang.ClassNotFoundException: com.mysql.jdbc.Driver
[...]
Caused by: java.util.zip.ZipException: invalid LOC header (bad signature)
[...]
Eureka! Mở tệp .jar trên WinRar cho thấy rằng nó có thể mở được ... nhưng có một số lỗi.
Tải xuống lại trình điều khiển đã giải quyết được sự cố.
Phản đối cho bản thân tôi :-(