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

Inizia dal file versionato .settings/org.eclipse.buildship.core.prefs e riproduci la modifica usando «Java: Clean the Java Language Server Workspace» nella configurazione Windows e JDK indicata. Usa il vscode-java.log collegato per identificare cosa riscrive java.home; il lavoro è completato quando la preferenza rimane indipendente dal workspace oppure il file può essere generato senza richiedere un percorso specifico della macchina.