rem: case "VK_F2": 
add: case KeyEvent.DOM_VK_F2: 
context: function HandleKeyEvent( aEvent ){  switch( aEvent.keyCode )   {  case 46:    if( profileManagerMode != "manager" )      return;    ConfirmDelete();    break;  case "VK_F2":    if( profileManagerMode != "manager" )      return;    RenameProfile();    break;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c317c8f1df012e89df5d3d27bb1d866419b98b47/profileManager.js/buggy/profile/resources/content/profileManager.js