context: function GetPrefs(){  if (gPrefsBranch)    return gPrefsBranch;  try {    var prefService = GetPrefsService();    if (prefService)      gPrefsBranch = prefService.getBranch(null);    if (gPrefsBranch)      return gPrefsBranch;    else      dump("failed to get root prefs!\n");  }  catch(ex)  {    dump("failed to get root prefs!\n");  }  return null;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/21c130318973506cc5c76eb2a42218eb846452f5/editorUtilities.js/buggy/editor/ui/composer/content/editorUtilities.js