add:  var item = event.target; if (item.id == gCurrentServerURI) return;    var filterList = currentFilterList(); if (filterList) filterList.saveToDefaultFile();  
context: function onServerClick(event){    var item = event.target;    selectServer(item.id);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a255118f32c7a0a3c545964eda6619c2554258b3/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js