public synchronized void exit(RemoteView view)
public void exit(final RemoteView view)
	public synchronized void exit(RemoteView view)		throws RemoteException	{		jEdit.exit(jEdit.getView(view.getUID()));	}