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

Beginne mit der versionierten Datei .settings/org.eclipse.buildship.core.prefs und reproduziere die Änderung mit „Java: Clean the Java Language Server Workspace“ in der gemeldeten Windows- und JDK-Konfiguration. Verwende das verknüpfte vscode-java.log, um zu ermitteln, was java.home umschreibt; abgeschlossen ist die Aufgabe, wenn die Einstellung unabhängig vom Workspace bleibt oder die Datei generiert werden kann, ohne einen computerspezifischen Pfad zu erfordern.