public void closeBuffer(RemoteView view, RemoteBuffer buffer)
public void closeBuffer(final RemoteView view, final RemoteBuffer buffer)
	public void closeBuffer(RemoteView view, RemoteBuffer buffer)		throws RemoteException	{		jEdit.closeBuffer(			view == null ? null : jEdit.getView(view.getUID()),			((RemoteBufferImpl)buffer).buffer);	}