Perhaps the tomcat:9-jre8-slim instead of 9-jdk8 could be used to reduce the image size of the docker image.
It seems to work at first sight (image size 260 MB instead of 620 MB), if I add mkdir -p /var/lib/softhsm/tokens
(for some reason the 9-jre8-slim base image does not seem to create this directory, while the 9-jdk8 does ...)
Perhaps the tomcat:9-jre8-slim instead of 9-jdk8 could be used to reduce the image size of the docker image.
It seems to work at first sight (image size 260 MB instead of 620 MB), if I add
mkdir -p /var/lib/softhsm/tokens(for some reason the 9-jre8-slim base image does not seem to create this directory, while the 9-jdk8 does ...)