Compiling Theia source code under Win11 environment

1. Install gitbash\ jdk\ python\ nodejs\ yarn

2. Install the npm construction tool "npm × × tall-- global-- production windows-build-tools" under windows.

3. Block the construction of "export THEIA_ELECTRON_SKIP_REPLACE_FFMPEG=1" of ffmpeg

4. Execute yarn under the theia code directory. If you encounter that jdt cannot be downloaded, download "https://www.eclipse.org/downloads/download.php?file=/che/che-ls-jdt/snapshots/che-jdt-language-server-latest.tar.gz&r=1"" manually and store it in the 'theia code directory / node_modules/@theia/java/download/' with the name of jdt.ls-downloadUrlHash.

5. The value of downloadUrlHash can be manually printed by adding 'console.log (filename);' to the downloadJavaServer function in the theia code directory / node_modules/@theia/java/download-jdt-ls.js', and then go to the directory

Execute 'node. / scripts/download-jdt-ls.js'