fixes "Workspace was not properly initialized or has already shutdown."
https://github.com/eclipse-platform/eclipse.platform/issues/355