Opera 9.5 Probleme: … : Lösung

Mittlerweile findt sich zu dem von mir in meinem vorherigen Beitrag beschriebenen Thema bereits etwas im Internet. Ich bin also nicht alleine mit meinem Problem. Die Ursache liegt wie vermutet bei den JBoss Richfaces. User berichten über Probleme mit von den Richfaces generierten Javascript (ECMAScript) Dateien.
Das Problem ist bei Opera unter http://my.opera.com/community/forums/topic.dml?id=235578 zu finden und allem Anschein nach bekannt.
Bei JBoss gibt es sogar schon ein Ticket, dessen Status man unter folgender Referenz nachverfolgen kann: http://jira.jboss.com/jira/browse/RF-3703

Im Jira von JBoss hat man die folgende Ursache identifiziert:

"The issue is caused by this code line in AJAX script:

var importednode ;
importednode = window.document.importNode(_script, true);
document.documentElement.replaceChild(importednode,_span); <---- Stops here

Replacing document.documentElement with document.body make it work"

Ich hoffe, dass JBoss oder Opera das Problem schnellstmöglich löst. Ansonsten werde ich den Richfaces wohl in Kürze bye bye sagen, da es sich hier für mich nicht um das erste Problem mit diesen handelt.