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