add: optionsReset(); 
context: function reportError(msg, page, line){  var testcase;  var jsOptions = new JavaScriptOptions();  jsOptions.setOption('strict', false);  jsOptions.setOption('werror', false);  if (typeof SUMMARY == 'undefined')  {    SUMMARY = 'Unknown';  }  if (typeof SECTION == 'undefined')  {    SECTION = 'Unknown';  }  if (typeof DESCRIPTION == 'undefined')  {    DESCRIPTION = 'Unknown';  }  if (typeof EXPECTED == 'undefined')  {    EXPECTED = 'Unknown';  }  testcase = new TestCase(gTestName, SUMMARY + DESCRIPTION + ' Section ' + SECTION, EXPECTED, "error");  testcase.passed = false;  testcase.reason += msg;  if (typeof(page) != 'undefined')  {    testcase.reason += ' Page: ' + page;  }  if (typeof(line) != 'undefined')  {    testcase.reason += ' Line: ' + line;  }  reportFailure(SECTION, msg);  gDelayTestDriverEnd = false;  jsTestDriverEnd();};
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/84ccceb26d5828bdb6f8cf5548017327c52c84ef/browser.js/buggy/js/tests/e4x/browser.js