rem: var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); LoadModules(); 
add: ClearDeviceList(); RefreshDeviceList(); 
context: function doUnload(){  getSelectedItem();  if (selected_module) {    pkcs11.deletemodule(selected_module.name);    var device_list = document.getElementById("device_list");    while (device_list.firstChild)      device_list.removeChild(device_list.firstChild);    LoadModules();  }}
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