rem: var platforms = [Divmod.Runtime.Firefox, Divmod.Runtime.InternetExplorer]; 
add: var platforms = [Divmod.Runtime.Firefox, Divmod.Runtime.InternetExplorer, Divmod.Runtime.Opera]; 
context: Divmod.Runtime.Platform.determinePlatform = function determinePlatform() {    var platforms = [Divmod.Runtime.Firefox, Divmod.Runtime.InternetExplorer];    for (var cls = 0; cls < platforms.length; ++cls) {        if (platforms[cls].isThisTheOne()) {            return platforms[cls];        }    }    throw new Error("Unsupported platform");};
meta: 1565	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1565/17381869986ef8db92feec0a438b73dccd24525b/runtime.js/buggy/nevow/runtime.js