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