Bug#842404: tomcat7-user fails to install on stretch

[Emmanuel Bourg]

Hi,

This is probably the same issue you saw with jetty9 (#842403), could you
try with another JRE?

Emmanuel Bourg