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

Empieza reproduciendo el arranque de Java Language Server con un proyecto de Gradle 5.1 en Arch Linux, utilizando los detalles del entorno incluidos en el informe. Traza cómo el wrapper de Gradle elige su distribución y el directorio del archivo de bloqueo; se considera terminado cuando el servidor se inicia sin requerir que GRADLE_HOME se cambie manualmente.