jEdit.closeView(jEdit.getView(view.getUID()));
SwingUtilities.invokeLater(new Runnable() { public void run() { jEdit.closeView(getLocalView(view)); } });
	public void closeView(RemoteView view)		throws RemoteException	{		jEdit.closeView(jEdit.getView(view.getUID()));	}