context: function onSetDefault(event) {  if (event.target.getAttribute("disabled") == "true") return;  var result = getServerIdAndPageIdFromTree(accounttree);  if (!result) return;    var account = getAccountFromServerId(result.serverId);  if (!account) return;  accountManager.defaultAccount = account;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js