rem: ClearInfoList(); getSelectedToken(); 
add:  var selected_token = selected_slot.getToken(); 
context: function showTokenInfo(){  ClearInfoList();  getSelectedToken();  AddInfoRow(bundle.GetStringFromName("devinfo_label"),              selected_token.tokenLabel, "tok_label");  AddInfoRow(bundle.GetStringFromName("devinfo_manID"),             selected_token.tokenManID, "tok_manID");  AddInfoRow(bundle.GetStringFromName("devinfo_serialnum"),              selected_token.tokenSerialNumber, "tok_sNum");  AddInfoRow(bundle.GetStringFromName("devinfo_hwversion"),             selected_token.tokenHWVersion, "tok_hwv");  AddInfoRow(bundle.GetStringFromName("devinfo_fwversion"),             selected_token.tokenFWVersion, "tok_fwv");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/80fc160693523d9fe87f5f435e3281978a6979d2/device_manager.js/buggy/security/manager/pki/resources/content/device_manager.js