rem: if( currentProfileItem ) 
add: if( currentProfileItem ) { 
context: function highlightCurrentProfile(){  try {    var currentProfile = profile.currentProfile;    if( !currentProfile )      return;    var currentProfileItem = document.getElementById( ( "profileName_" + currentProfile ) );    var profileList = document.getElementById( "profiles" );    if( currentProfileItem )      profileList.selectItem( currentProfileItem );  }  catch(e) {    dump("*** failed to select current profile in list\n");  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/4177a24add475cdbdde694a8b49afc5c7799d984/profileSelection.js/clean/profile/resources/content/profileSelection.js