rem: var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); 
add: ClearDeviceList(); 
context: function toggleFIPS(){  if (!secmoddb.isFIPSEnabled) {    // A restriction of FIPS mode is, the password must be set    // In FIPS mode the password must be non-empty.    // This is different from what we allow in NON-Fips mode.    var tokendb = Components.classes[nsPK11TokenDB].getService(nsIPK11TokenDB);    var internal_token = tokendb.getInternalKeyToken(); // nsIPK11Token    var slot = secmoddb.findSlotByName(internal_token.tokenName);    switch (slot.status) {      case nsIPKCS11Slot.SLOT_UNINITIALIZED:      case nsIPKCS11Slot.SLOT_READY:        // Token has either no or an empty password.        alert(bundle.GetStringFromName("fips_nonempty_password_required"));        return;    }  }    secmoddb.toggleFIPSMode();  //Remove the existing listed modules so that re-fresh doesn't   //display the module that just changed.  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