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