rem: a = a.label.toLowerCase().replace("&", ""); b = b.label.toLowerCase().replace("&", ""); 
add: a = a.labelstr.toLowerCase(); b = b.labelstr.toLowerCase(); 
context:     function compare (a, b)    {        a = a.label.toLowerCase().replace("&", "");        b = b.label.toLowerCase().replace("&", "");        if (a == b)            return 0;         if (a > b)            return 1;        return -1;    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/command-manager.js/clean/extensions/venkman/resources/content/command-manager.js