vscode vscode-extension xml Source install openjdk-11 configure the extension to use Java instead of the binary