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

Comienza con el archivo versionado .settings/org.eclipse.buildship.core.prefs y reproduce el cambio usando «Java: Clean the Java Language Server Workspace» en la configuración de Windows y JDK indicada. Usa el vscode-java.log enlazado para identificar qué reescribe java.home; se considera terminado cuando la preferencia no depende del workspace o el archivo puede generarse sin requerir una ruta específica de la máquina.