uninstall(success);  if (fListener != null) fListener.exit(success);
try { uninstall(success);  if (fListener != null) fListener.exit(success); } finally { fMustLeave= false; }
	private void leave(boolean success) {		uninstall(success);		if (fListener != null)			fListener.exit(success);			}