#6954 Editor displays decoration errors after startup

If the resource editor is already open after starting Eclipse, it can happen that decorations are marked as errors in the editor, although no errors are contained. This is now fixed.