view.updateBuffersMenu();
	public void actionPerformed(ActionEvent evt)	{		try		{			int errorNo = Integer.parseInt(evt.getActionCommand());			jEdit.setCurrentError(errorNo);			CompilerError error = jEdit.getError(errorNo);			View view = getView(evt);			Buffer buffer = error.openFile();			int lineNo = error.getLineNo();			int start = buffer.getDefaultRootElement()				.getElement(lineNo).getStartOffset();			if(view.getBuffer() == buffer)				view.getTextArea().setCaretPosition(start);			else			{				buffer.setCaretInfo(start,start);				view.setBuffer(buffer);			}		}		catch(Exception e)		{			e.printStackTrace();		}	}