view = jEdit.newView((Buffer)jEdit.getBuffers()
view = jEdit.newView(view,(Buffer)jEdit.getBuffers()
	public void valueChanged(ListSelectionEvent evt)	{		if(errors.isSelectionEmpty())			return;		if(!view.isVisible())		{			view = jEdit.newView((Buffer)jEdit.getBuffers()				.nextElement());		}		int errorNo = errors.getSelectedIndex();		jEdit.setCurrentError(errorNo);		CompilerError error = jEdit.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();		}	}