How to remove libjetty-extra from Debian 9 (Stretch)