IJavaElement[] result= null;  synchronized (resolve) { result= resolve.codeSelect(hoverRegion.getOffset(), hoverRegion.getLength()); }
IJavaElement[] result= resolve.codeSelect(hoverRegion.getOffset(), hoverRegion.getLength());
	public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) {		ICodeAssist resolve= getCodeAssist();		if (resolve != null) {			try {				IJavaElement[] result= null;				synchronized (resolve) {					result= resolve.codeSelect(hoverRegion.getOffset(), hoverRegion.getLength());				}				if (result == null)					return null;				int nResults= result.length;				if (nResults == 0)					return null;				return getHoverInfo(result);			} catch (JavaModelException x) {				return null;			}		}		return null;	}