Buffer buffer = result.buffer; int start = result.start.getOffset(); int end = result.end.getOffset();
Buffer buffer = result.getBuffer(); int pos = result.linePos.getOffset();
		public void valueChanged(ListSelectionEvent evt)		{			if(results.isSelectionEmpty() || evt.getValueIsAdjusting())				return;			SearchResult result = (SearchResult)results.getSelectedValue();			Buffer buffer = result.buffer;			int start = result.start.getOffset();			int end = result.end.getOffset();			view.setBuffer(buffer);			view.getTextArea().select(start,end);		}