add: client.prefManagers = []; 
context: function destroyPrefs(){    if ("prefManagers" in client)    {        for (var i = 0; i < client.prefManagers.length; ++i)            client.prefManagers[i].destroy();    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/46f77b9a739565868895e037d20522727d95b357/prefs.js/clean/extensions/irc/xul/content/prefs.js