Buffer buffer = (Buffer)buffers.nextElement();
Buffer buffer = buffers[i];
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Enumeration buffers = jEdit.getBuffers();		while(buffers.hasMoreElements())		{			Buffer buffer = (Buffer)buffers.nextElement();			if(buffer.isDirty())				buffer.save(view,null);		}	}