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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/command-manager.js/buggy/extensions/venkman/resources/content/command-manager.js