Project: Eclipse_Platform_UI
Bug 407289 auto-save job dies if an exception occurs while running
Reported: 2013-05-06 08:25:55 | Status: verified fixed

I20130505-2000. The workbench auto-save job dies if an exception occurs while running. The code is not protected.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java