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