rem: var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); LoadModules(); 
add: ClearDeviceList(); RefreshDeviceList(); 
context: function doLoad(){  window.open("load_device.xul", "loaddevice",               "chrome,centerscreen,modal");  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