rem: if (index != "nothing_available" && value) 
add: if (index != "nothing_available" && value) 
context: function executeUrlBarHistoryCommand( aTarget)   {    var index = aTarget.getAttribute("index");    var value = aTarget.getAttribute("value");    if (index != "nothing_available" && value)       {        gURLBar.value = value;        BrowserLoadURL();      }  } 
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a16b54e9c5f3a195d8fc17776f543f7ac55d40c3/sessionHistoryUI.js/clean/xpfe/browser/resources/content/sessionHistoryUI.js