add support for jetty8 under debian/ubuntu