Apparentemente, ho OpenJDK 6 JRE (openjdk-6-jre 6b27-1.12.6-1ubuntu0.12.04.2) e 7 JRE (openjdk-7-jre 7u25-2.3.10-1ubuntu0.12.04.2) installati in parallelo - Non so perché li abbia entrambi, non ricordo di averli installati manualmente.
Tuttavia, il plug-in Java Firefox di tanto in tanto viene segnalato come obsoleto da alcuni siti Web e mi sembra che si basi su JRE 6. Come posso fare in modo che Firefox usi la versione più recente? Rimuovere JRE 6 sembra una cattiva idea; quando ho provato a farlo in sinaptic, mi è sembrato che un sacco di software si affida ancora al vecchio JRE, dato che rimuoverlo avrebbe rimosso anche i programmi jedit
.
Mescolo cose? Non sono nemmeno sicuro di come il plugin FF interferisca con i JRE di OpenJDK.
MODIFICARE:
Dopo aver provato ancora di più, il problema persiste. Utilizzando update-alternatives --config java
, vedo che la versione Java predefinita (con stato "modalità manuale") è già impostata su Java 7 e java -version
restituisce "1.7.0_25". Il file /usr/lib/jvm/java-7-openjdk-i386/jre/lib/i386/IcedTeaPlugin.so
esiste, ma Firefox mostra ancora il plug-in Java 6 quando lo si guarda about:plugins
.
Riassumendo:
Come faccio a far utilizzare Firefox al plugin IcedTea appartenente alla versione Java predefinita?