Was unter Gentoo java-config macht, existiert unter Debian auch und funktioniert so:
Für die Java Runtime Environment:
# update-alternatives --config java
Für den Java Development Kit (JDK):
# update-alternatives --config javac
Damit kann man bequem Änderungen durchführen.
…
Konstantin