# wir wollen nicht icedtea-bin, sondern openjdk-jre-bin dev-java/icedtea-bin