Overwrites java home in .settings/org.eclipse.buildship.core.prefs

As vscode-java is apparently not capable of generating the .settings/org.eclipse.buildship.core.prefs file (mabe #666), I have to check it into git.
But everytime vscode-java tries to set the java.home= field in this file to my local path to the local JDK, which might differ from other developers workspace setups.

Environment

• Operating System: Windows 10
• JDK version: Amazon Corretto 11
• Visual Studio Code version: 1.63.2
• Java extension version: 1.2.0

Steps To Reproduce

1. Open/Import a Java project folder with Gradle build (worked for me only after having an Eclipse IDE instance generate the .settings/org.eclipse.buildship.core.prefs file)
2. set the java.home= line to an empty value. VSCode seems to work fine nevertheless.
3. Use VSCode, run your project, develop... At some point something changes the file to set the value to the lokal JDK path (e.g. C\:/Program Files/Amazon Corretto/jdk11.0.12_7) This can be forced by "Java: Clean the Java Language Server Workspace"

[Please attach a sample project reproducing the error]
I guess it's not an error per se.

Please attach logs
vscode-java.log

Current Result

See above.

Expected Result

The .settings/org.eclipse.buildship.core.prefs file should either be committable (thus workspace-agnostic) or generateable (so it does not have to be committed to git).

Additional Informations

Bắt đầu với tệp đã được commit .settings/org.eclipse.buildship.core.prefs và tái hiện thay đổi bằng “Java: Clean the Java Language Server Workspace” trong thiết lập Windows và JDK được báo cáo. Sử dụng vscode-java.log được liên kết để xác định thành phần nào ghi lại java.home; hoàn thành có nghĩa là tùy chọn vẫn không phụ thuộc vào workspace hoặc tệp có thể được tạo mà không yêu cầu một đường dẫn dành riêng cho máy.