add:    jsStatus = null; 
context:   setJSStatus : function(status)  {    if(status == "")      jsStatus = null;    else      jsStatus = status;    UpdateStatusField();  },
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e722c4ea5cffbfa2cca6b8150a8d44e3baca3de7/navigator.js/buggy/suite/browser/navigator.js