PHPStormのパスマッピングがうまくいかない時の対処

PHPStormのパスマッピングがうまくいかないときは、何度もパスマップしている「サーバー」の設定を消して、追加してを繰り返す。これでうまくいった。私の時間返して。PHPStormのバグだと思う。これは。