rem:  if (!gPrefsService) dump("failed to get prefs service!\n"); 
context: function GetPrefsService(){  if (gPrefsService)    return gPrefsService;  try {    gPrefsService = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService);    if (!gPrefsService)      dump("failed to get prefs service!\n");  }  catch(ex)  {    dump("failed to get prefs service!\n");  }  return gPrefsService;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/21c130318973506cc5c76eb2a42218eb846452f5/editorUtilities.js/buggy/editor/ui/composer/content/editorUtilities.js