How to remove libgradle-jflex-plugin-java from Debian 9 (Stretch)