rem: .getService(Components.interfaces.nsIPrefService); 
add: .getService(nsCI.nsIPrefService); 
context: function MiniNavShutdown(){  if (gBrowserStatusHandler) gBrowserStatusHandler.destroy();  if(gPrefAdded) {	try {		var psvc = Components.classes["@mozilla.org/preferences-service;1"]                         .getService(Components.interfaces.nsIPrefService);		psvc.savePrefFile(null);	} catch (e) { alert(e); }  } }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/95e0a93d11e550d8b841d475e6fe62ef4900c18b/minimo.js/buggy/minimo/chrome/content/minimo.js