Bedankt voor de antwoorden. Toevallig ben ik over een soort oplossing gestruikeld (= heel toevallig gevonden):
Ik heb chrome geïnstalleerd, die installeert wel de gewenste plugins (java, flash etc.). Als ik nu eerst chrome start en daarna firefox 5.0, vindt firefox ook de plugins.
Het is nu al te laat om te gaan zoeken naar de oorzaak van dit verschijnsel.