Come desinstalare eclipse-wtp-servertools su Debian Unstable (Sid)