Do not use (up to) 3 workspace operations to update a marker, do it all
in one single operation instead.

Contributes to
https://github.com/eclipse-platform/eclipse.platform.ui/issues/983