How to remove libservlet2.5-java-doc from Debian 9 (Stretch)