rem: dump("deleted calendar " + aCalendar.name + "\n"); 
context:     onCalendarDeleting: function(aCalendar) {        removeCalendarFromTree(aCalendar); // XXX what else?        dump("deleted calendar " + aCalendar.name + "\n");    },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/93f01c66af4b2e0e14a837f9f5f922c2913a50cf/calendar-management.js/buggy/calendar/lightning/content/calendar-management.js