684685686687688689690691692693694
} } if (part != null) { try { part.dispose(); } catch (RuntimeException re) { StatusManager.getManager().handle( StatusUtil.newStatus(WorkbenchPlugin.PI_WORKBENCH, re)); }