}
configurationManager.stopConfiguration(moduleID);
configurationManager.unloadConfiguration(moduleID);
updateStatus("Module " + moduleID + " unloaded.");
} catch (InternalKernelException e) {
// this is cause by the kernel being already shutdown
} catch (NoSuchConfigException e) {
// module was already unloaded - just continue