The text a94b2ac862e9, as Debian 10 (Buster) shipped it.
make jar files in PATH executable
jh_exec(1) on Linux now
