Apparemment, j'ai 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) installés en parallèle - Je ne sais pas pourquoi je les ai tous les deux, je ne me souviens pas avoir installé l'un d'eux manuellement.
Cependant, le plug-in Java de Firefox est parfois signalé comme obsolète par certains sites Web, et il me semble qu'il repose sur JRE 6. Comment puis-je faire en sorte que Firefox utilise la version la plus récente? La suppression de JRE 6 semble être une mauvaise idée; quand j'ai essayé de le faire en synaptique, il m'a semblé que beaucoup de logiciels s'appuient toujours sur l'ancien JRE, car le supprimer aurait également supprimé des programmes jedit
.
Dois-je mélanger des trucs? Je ne sais même pas comment le plugin FF interfère avec les JRE OpenJDK.
ÉDITER:
Après avoir essayé encore plus, le problème persiste. En utilisant update-alternatives --config java
, je vois que la version Java par défaut (avec le statut "mode manuel") est déjà définie sur Java 7 et java -version
renvoie "1.7.0_25". Le fichier /usr/lib/jvm/java-7-openjdk-i386/jre/lib/i386/IcedTeaPlugin.so
existe, mais Firefox affiche toujours le plugin Java 6 lors de la consultation about:plugins
.
Résumer:
Comment faire pour que Firefox utilise le plugin IcedTea appartenant à la version Java par défaut?