catch (ex) 
catch (ex) 
function IsPropertiesEnabled(command){   try    {      var folderTree = GetFolderTree();      var folderResource = GetSelectedFolderResource();      // when servers are selected      // it should be "Edit | Properties..."      if (GetFolderAttribute(folderTree, folderResource, "IsServer") == "true")        goSetMenuValue(command, "valueGeneric");      else         goSetMenuValue(command, isNewsURI(folderResource.Value) ? "valueNewsgroup" : "valueFolder");   }   catch (ex)    {      // properties menu failure   }   // properties should be enabled for folders and servers   // but not fake accounts   if (IsFakeAccount())     return false;   var selection = folderTree.view.selection;   return (selection.count == 1);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/634044202ad0e89ed5e63759bb283c8d4f090335/mail3PaneWindowCommands.js/buggy/mail/base/content/mail3PaneWindowCommands.js