Whoo-hoo! Thank you, Martin, that did the trick. But at some point we might want to try to figure out who is calling it and what it does. My re-run of those `make`s produced exactly the same console results (except for dates, times, and those msgs), and, as far as I can tell at a glance, the same output HTML and schemas. P.S. Martin -- are you on the Council list now, or do I have to keep sending to you separately?
I have tools.jar in exactly that location, also on Ubuntu 16.04. It should clearly be there. Is it possible you only have the JRE installed, not the JDK? Do you have a folder
/usr/lib/jvm/java-8-openjdk-amd64/lib/
with stuff inside it at all?
If you only installed the package openjdk-8-jre, not openjdk-8-jdk, then installing the latter might do it.