return marker.getAttribute(IMarker.MESSAGE, (String) null);
String text= marker.getAttribute(IMarker.MESSAGE, (String) null); return formatHoverText(text, sourceViewer.getTextWidget().getDisplay());
	public String getHoverInfo(ISourceViewer sourceViewer, int lineNumber) {		IMarker marker= getMarker(sourceViewer, lineNumber);		if (marker != null) {			return marker.getAttribute(IMarker.MESSAGE, (String) null);		}		return null;	}