This method is called during workbench shutdown after all windows have been closed.
722723724725726727728729730731732
Object list[] = workbenchListeners.getListeners(); for (int i = 0; i < list.length; i++) { final IWorkbenchListener l = (IWorkbenchListener) list[i]; SafeRunnable.run(new SafeRunnable() { public void run() { l.postShutdown(Workbench.this); } }); } }