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

Commencez par le fichier versionné .settings/org.eclipse.buildship.core.prefs et reproduisez la modification en utilisant « Java: Clean the Java Language Server Workspace » dans la configuration Windows et JDK signalée. Utilisez le vscode-java.log lié pour identifier ce qui réécrit java.home ; le travail est terminé si la préférence reste indépendante du workspace ou si le fichier peut être généré sans nécessiter un chemin spécifique à la machine.