document.getLineOfOffset(region.getOffset()) + surroundingLines,
document.getLineOfOffset(region.getOffset()) + surroundingLines - 1,
	String getContent(IDocument document, IRegion region, boolean expandRegionToFullLine, int surroundingLines) throws CoreException {		try {			if (expandRegionToFullLine) {				int startLine= Math.max(document.getLineOfOffset(region.getOffset()) - surroundingLines, 0);				int endLine;				if (region.getLength() == 0) {					endLine= Math.min(						document.getLineOfOffset(region.getOffset()) + surroundingLines,						document.getNumberOfLines() - 1);				} else {					endLine= Math.min(						document.getLineOfOffset(region.getOffset() + region.getLength() - 1) + surroundingLines,						document.getNumberOfLines() - 1);				}								int offset= document.getLineInformation(startLine).getOffset();				IRegion endLineRegion= document.getLineInformation(endLine);				int length = endLineRegion.getOffset() + endLineRegion.getLength() - offset;				return document.get(offset, length);							} else {				return document.get(region.getOffset(), region.getLength());			}		} catch (BadLocationException e) {			throw Changes.asCoreException(e);		}	}