jbosstools/jbosstools-central — pull request #236 by mickaelistria (2014-05-27 11:18:01+00:00)
Title: JBIDE-17424: Cancel remaining jobs when refreshing

When refreshing, some jobs were still pending and trying to update
UI after it get disposed.
Now, those jobs are cancelled, making feedback faster and avoiding
"widget is disposed" error.