HighlightedRange range= fHardcodedRanges[i]; positions[i]= fPresenter.createHighlightedPosition(range.getOffset(), range.getLength(), getHighlighting(range.getKey()));
HighlightedRange range= null; Highlighting hl= null; for (int j= 0; j < fHardcodedRanges[i].length; j++ ) { hl= getHighlighting(fHardcodedRanges[i][j].getKey()); if (hl.isEnabled()) { range= fHardcodedRanges[i][j]; break; } }  if (range != null) positions.add(fPresenter.createHighlightedPosition(range.getOffset(), range.getLength(), hl));
	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;	}