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