Bug#842403: jetty8 install fails on stretch

[Emmanuel Bourg]

Hi,

Thank you for the report. jetty8 has been removed from stretch and
replaced by jetty9. The jetty9 package is quite similar, could you give
it a try and see if it's affected by the same issue please?

Thank you,

Emmanuel Bourg