If you have libjetty9-java from jessie-backports: use the stretch files in ../../debian.

If you do not have libjetty9-java from jessie-backports: use the trusty files in ../trusty,
or use the files here to depend on libtomcat8-java.
