+ getLine(map.getElement(line));
+ getLine(buffer,buffer.getDefaultRootElement() .getElement(line));
		SearchResult(Buffer buffer, Position start, Position end)		{			this.buffer = buffer;			this.start = start;			this.end = end;			Element map = buffer.getDefaultRootElement();			int line = map.getElementIndex(start.getOffset());			str = buffer.getName() + ":" + (line + 1) + ":"				+ getLine(map.getElement(line));		}