@Override
protected void dispose() {
super.dispose();
if (DebugPlugin.getDefault() != null) {
DebugPlugin.getDefault().removeDebugEventListener(this);
}
}
@Override
protected void dispose() {
try {
fTracingStream.close();
} catch (IOException e) {
}
try {
fSession
.getExecutor()
.submit(
new DsfRunnable() {
@Override
public void run() {
fSession.removeServiceEventListener(TracingConsole.this);
}
});
} catch (RejectedExecutionException e) {
// Session already disposed
}
super.dispose();
}
@Override
protected synchronized void dispose() {
activeConsoleObservers.clear();
inactiveConsoleObservers.clear();
super.dispose();
}
