Editor encoding inherited from Maven

If we have a Maven project and its POM tag "project.build.sourceEncoding" is different from the editor's default "files.encoding", it would be helpful if VS Code could notify us of this or automatically set the Maven encoding in the "files.encoding" setting of workspace's settings.json file.

Currently I have to check it and change it manually.

まず、拡張機能による Maven プロジェクトの処理と、VS Code のワークスペース設定 files.encoding との統合ポイントを特定します。Maven プロジェクトで project.build.sourceEncoding とエディターのデフォルト値を比較し、そのうえで、完了の意味が通知、ワークスペースの自動更新、またはその両方のいずれであるかを明確にし、一致するエンコーディングと異なるエンコーディングの両方で動作を検証します。