Problem on Linux with GRADLE_HOME environment variable

When I launch VS Code on a Java project built using Gradle, I get the following errors:

Could not install Gradle distribution from 'https://services.gradle.org/distributions/gradle-5.1-bin.zip'
Could not create parent directory for lock file /usr/share/java/gradle/wrapper/dists/gradle-5.1-bin/....../gradle-5.1-bin.zip.lck

I managed to fix the problem by setting the environment variable GRADLE_HOME to ~/.gradle instead of the default /usr/share/java/gradle and cleaning the project directory.

Environment

• Operating System: Arch Linux 5.0.4
• JDK version: openjdk version "11.0.3" 2019-04-16
• Visual Studio Code version: 1.32.3
• Java extension version: Java Extension Pack 0.6.0

Steps To Reproduce

1. Launch a Java project using Gradle 5.1

Current Result

The Java Language Server aborts.

Expected Result

Additional Informations

Beginne damit, den Start des Java Language Server mit einem Gradle-5.1-Projekt auf Arch Linux zu reproduzieren, unter Verwendung der Umgebungsdetails im Bericht. Verfolge, wie der Gradle-Wrapper seine Distribution und sein Lock-Datei-Verzeichnis auswählt; als erledigt gilt die Aufgabe, wenn der Server startet, ohne dass GRADLE_HOME manuell geändert werden muss.