if(errorList.isSelectionEmpty())
if(errorList.isSelectionEmpty() || evt.getValueIsAdjusting())
	public void valueChanged(ListSelectionEvent evt)	{		if(errorList.isSelectionEmpty())			return;		int errorNo = errorList.getSelectedIndex();		setCurrentError(errorNo);		CompilerError error = getError(errorNo);				Buffer buffer = error.openFile();		int lineNo = error.getLineNo();		Element lineElement = buffer.getDefaultRootElement()			.getElement(lineNo);		int start = (lineElement == null ? 0 : lineElement			.getStartOffset());		if(view.getBuffer() == buffer)			view.getTextArea().setCaretPosition(start);		else		{			buffer.setCaretInfo(start,start);			view.setBuffer(buffer);			view.updateBuffersMenu();		}	}