This is a fork of the official org.eclipse.e4.ui.progress plugin with particular bugfixes and personal features
