jEdit.closeBuffer( view == null ? null : jEdit.getView(view.getUID()), ((RemoteBufferImpl)buffer).buffer);
SwingUtilities.invokeLater(new Runnable() { public void run() { jEdit.closeBuffer(getLocalView(view), getLocalBuffer(buffer)); } });
	public void closeBuffer(RemoteView view, RemoteBuffer buffer)		throws RemoteException	{		jEdit.closeBuffer(			view == null ? null : jEdit.getView(view.getUID()),			((RemoteBufferImpl)buffer).buffer);	}