return positions;
return (HighlightedPosition[]) positions.toArray(new HighlightedPosition[positions.size()]);
	private HighlightedPosition[] createHardcodedPositions() {		HighlightedPosition[] positions= new HighlightedPosition[fHardcodedRanges.length];		for (int i= 0; i < fHardcodedRanges.length; i++) {			HighlightedRange range= fHardcodedRanges[i];			positions[i]= fPresenter.createHighlightedPosition(range.getOffset(), range.getLength(), getHighlighting(range.getKey()));		}		return positions;	}