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