rem: return false; 
add: return false; 
context: function isDuplicateFilterNameExists(){    var args = window.arguments[0];    var myFilterList;    var filterName= gFilterNameElement.value;    if ("filterList" in args)        myFilterList = args.filterList;    if (myFilterList) {        for (var i = 0; i < myFilterList.filterCount; i++)        {            if (filterName == myFilterList.getFilterAt(i).filterName)                return true;        }    }        return false;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a7a6aaec82021225369a825c4902d7f206319316/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js