How to remove libtrilead-putty-extension-java-doc from Debian 9 (Stretch)