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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/462b1ace82ab253c3fcbe25a6733f9bb31b3c8cb/minimo.js/clean/minimo/chrome/content/minimo.js