public void setBuffer(RemoteBuffer buffer) throws RemoteException
public void setBuffer(final RemoteBuffer buffer) throws RemoteException
	public void setBuffer(RemoteBuffer buffer) throws RemoteException	{		view.setBuffer(jEdit.getBuffer(buffer.getUID()));	}