Eigentlich habe ich das schon getan ) Eine für Java Plug-ins angepasste Variante ist dem Autor von der "User Agent Switcher"-Erweiterung zugeschickt worden. Diese Variante ist u.a. auch für den Bug eine Art Bugfix, da es User Agent Switcher erlaubt, dieses Problem zu umgehen und non-standard User Agents ohne Reset beim Beenden von Firefox zu benutzen.
Dabei ist die erwähnte implementierte Möglichkeit eine Hilfe, um neue Java Plug-ins zu registrieren, wenn sie installiert werden.
Natürlich kann ich auch einen passenden Codeausschnitt hier posten, falls Interesse besteht und man nicht warten möchte, bis der Fix in die Erweiterung integriert ist ![]()