Merge pull request #2907 from LorenzoBettini/lb_2792_marker_location

[2792] don't set marker.LOCATION and just set LINE_NUMBER

org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/validation/MarkerCreator.java

@@ -42,11 +42,6 @@ protected void setMarkerAttributes(Issue issue, IResource resource, IMarker mark
 		// Do this in one single setAttributes() call, as each set of an attribute is a workspace operation
 		Map<String, Object> attributes = new HashMap<>(16);
 
-		String lineNR = "";
-		if (issue.getLineNumber() != null) {
-			lineNR = "line: " + issue.getLineNumber() + " ";
-		}
-		attributes.put(IMarker.LOCATION, lineNR + resource.getFullPath().toString());
 		attributes.put(Issue.CODE_KEY, issue.getCode());		
 		attributes.put(IMarker.SEVERITY, getSeverity(issue));
 		attributes.put(IMarker.CHAR_START, issue.getOffset());