Dock のアイコンが消えた…。でもマウスカーソル合わせればツールチップも出るし，クリックすればアプリケーションは起動する。