Danke für Eure schnelle Hilfe. :klasse:
Ich hatte bei anderen Problemen (hatten nicht mit Firefox zu tun) in manchen Foren die Erfahrung machen müssen, dass man ein paar Wochen warten kann, bis sich jemand erbarmt. Ich werde versuchen, die neue Version separat und komplett zu installieren. Muss ich hierbei etwas beachten, was die Beibehaltung von Einstellungen angeht?
Dazu werde ich jedoch erst in drei Wochen kommen, denn das Problem trat auf meinem Rechner auf der Arbeit auf und ich habe ab morgen Urlaub. Hier zu Hause verwende ich Linux Debian mit Iceweasel und Probleme dieser Art gibt es dort nicht. Dafür ist es auch Version 3.5.11, die jedoch weitaus schneller als die Variante für Windows läuft.
Fox2Fox: ich hatte deswegen Java Quick Starter als Addon eingestuft, da im Fenster zu Addons & Plugins, etc. von Firefox es explizit getrennte Tabs für Addons und Plugins gibt und Java Quick Starter hier aber unter Addons und nicht unter Plugins aufgeführt wird. Daher meine Verwirrung. :-???