log.debug("unregisterConsole(" + console.getConsoleName() + ')');
if (contextConsole.get() == console) {
contextConsole.set(null);
}
if (current == console) {
console.focusLost(new FocusEvent(FocusEvent.FOCUS_LOST));
}
consoles.remove(console.getConsoleName());
if (currentStack != null && !currentStack.empty() && currentStack.peek() == console) {
currentStack.pop();