Update the marker in BasicMarkerUpdater::updateMarker in one operation

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

Contributes to
#983

bundles/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/BasicMarkerUpdater.java

@@ -13,12 +13,19 @@
  *******************************************************************************/
 package org.eclipse.ui.texteditor;
 
+import java.util.HashMap;
+import java.util.Map;
+
+import org.eclipse.core.runtime.CoreException;
+
 import org.eclipse.core.resources.IMarker;
 
 import org.eclipse.jface.text.BadLocationException;
 import org.eclipse.jface.text.IDocument;
 import org.eclipse.jface.text.Position;
 
+import org.eclipse.ui.internal.editors.text.EditorsPlugin;
+
 
 /**
  * Updates a marker's positional attributes which are
@@ -63,31 +70,42 @@ public boolean updateMarker(IMarker marker, IDocument document, Position positio
 		int markerStart= MarkerUtilities.getCharStart(marker);
 		int markerEnd= MarkerUtilities.getCharEnd(marker);
 
+
+		Map<String, Object> attributeChanges= new HashMap<>(3);
+
 		if (markerStart != -1 && markerEnd != -1) {
 
 			offsetsInitialized= true;
 
 			int offset= position.getOffset();
 			if (markerStart != offset) {
-				MarkerUtilities.setCharStart(marker, offset);
+				MarkerUtilities.setCharStart(attributeChanges, offset);
 				offsetsChanged= true;
 			}
 
 			offset += position.getLength();
 			if (markerEnd != offset) {
-				MarkerUtilities.setCharEnd(marker, offset);
+				MarkerUtilities.setCharEnd(attributeChanges, offset);
 				offsetsChanged= true;
 			}
 		}
 
 		if (!offsetsInitialized || (offsetsChanged && MarkerUtilities.getLineNumber(marker) != -1)) {
 			try {
 				// marker line numbers are 1-based
-				MarkerUtilities.setLineNumber(marker, document.getLineOfOffset(position.getOffset()) + 1);
+				MarkerUtilities.setLineNumber(attributeChanges, document.getLineOfOffset(position.getOffset()) + 1);
 			} catch (BadLocationException x) {
 			}
 		}
 
+		if (!attributeChanges.isEmpty()) {
+			try {
+				marker.setAttributes(attributeChanges);
+			} catch (CoreException e) {
+				EditorsPlugin.log(e);
+			}
+		}
+
 		return true;
 	}
 }