Apparemment, j'ai installé OpenJDK 6 JRE (openjdk-6-jre 6b27-1.12.6-1ubuntu0.12.04.2) et 7 JRE (openjdk-7-jre 7u25-2.3.10-1ubuntu0.12.04.2) en parallèle - je ne sais pas pourquoi j'ai les deux, je ne me souviens pas avoir installé l'un d'eux manuellement.
Cependant, certains sites Web signalent parfois que le plug-in Java de Firefox n'est pas à jour, et il me semble qu'il repose sur JRE 6. Comment puis-je faire en sorte que Firefox utilise la nouvelle version ? La suppression de JRE 6 semble être une mauvaise idée ; lorsque j'ai essayé de le faire dans synaptic, il m'est apparu que de nombreux logiciels reposent encore sur l'ancien JRE, puisque sa suppression aurait supprimé des programmes comme jedit également.
Est-ce que je mélange les choses ? Je ne sais même pas comment le plugin FF interfère avec les JRE d'OpenJDK.
EDITAR:
Après avoir essayé encore plus, le problème persiste. En utilisant update-alternatives --config java je constate que la version par défaut de Java (avec le statut "mode manuel") est déjà définie sur Java 7, et que la version par défaut de Java (avec le statut "mode manuel") est déjà définie sur Java 7. java -version renvoie "1.7.0_25". Le fichier /usr/lib/jvm/java-7-openjdk-i386/jre/lib/i386/IcedTeaPlugin.so existe, mais Firefox montre toujours le plugin Java 6 lorsqu'il regarde about:plugins .
Pour résumer :
Comment faire pour que Firefox utilise le plugin IcedTea appartenant à la version Java par défaut ?
