Element lineElement = map.getElement(map.getElementIndex(pos .getOffset()));
Element lineElement = map.getElement(map.getElementIndex( result.pos.getOffset()));
		public void valueChanged(ListSelectionEvent evt)		{			if(results.isSelectionEmpty() || evt.getValueIsAdjusting())				return;			Position pos = (Position)positions.elementAt(results				.getSelectedIndex());			Element map = buffer.getDefaultRootElement();			Element lineElement = map.getElement(map.getElementIndex(pos				.getOffset()));			if(lineElement == null)				return;			int start = lineElement.getStartOffset();			int end = lineElement.getEndOffset() - 1;			if(view.getBuffer() == buffer)			{				view.getTextArea().select(start,end);			}			else			{				buffer.setCaretInfo(start,end);				view.setBuffer(buffer);			}		}