Note: groups.io will be down for maintenance this evening, starting at 11pm Pacific Time (6am Tuesday 8/3/2020 UTC), for up to two hours.
Official docker image missing tools.jar?
We're migrating to the official DITA-OT 3.5 docker image but it looks like it's missing tools.jar:
Unable to locate tools.jar. Expected to find it in /opt/java/openjdk/lib/tools.jar
This happens whenever we try to publish output using exec mode. It works OK if we use the the shell mode, which is what is described in the documentation, but that won't fit into the existing process as well.
Has anyone encountered this and maybe found a workaround? It's this image: