You need to install icedtea:jdk or openjdk:jdk if you want the developer tools. Cheers! -- Pierre Neidhardt https://ambrevar.xyz/