rem:    div.ownerDocument.location.href = div.ownerDocument.location.href;  
add: iframe.onload = null; client.processVariableChanges(true);   
context: 			iframe.onload = function() {								if (ifr.document != null && (ifr.document.contentType == "application/xml")) {					// TODO: Damn. This would be nice but seems to be unreliable:					//client.processUpdates(ifr.document);					//div.ownerDocument.location.reload();					div.ownerDocument.location.href = div.ownerDocument.location.href;									}			};
meta: 2819	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2819/57b772916340bcce0fea96d041284795f2c9bde6/theme.js/buggy/WebContent/themes/default/theme.js