Um zwischen verschiedenen Java Runtime Environments (JRE) zu wechseln reicht der Befehl

$ sudo update-alternatives --config java

Dies kann unter anderem dann hilfreich sein, wenn eine kompilierte .jar Anwendung mit einer bestimmten JRE nicht funktioniert.