/* */ KernelRegistryEntry entry;
/* 86 */ synchronized (this.entries)
/* */ {
/* 88 */ entry = (KernelRegistryEntry)this.entries.remove(name);
/* 89 */ if (entry == null) {
/* 90 */ throw new KernelRegistryEntryNotFoundException("Not found: " + name);
/* */ }
/* */ }
/* 93 */ if (trace) {
/* 94 */ log.trace("Unregistered name: '" + name + "'");
/* */ }