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