O espúrio JAVA_HOME

Question

(Eu já dei uma olhada em esta questão .)

Para pelo menos um aplicativo no meu sistema, estou recebendo um valor JAVA_HOME obstinado que não consigo alterar.

Java instalado no meu sistema

• Para mim:

  $ which java        
  /opt/jdk-10.0.1/bin/java
  

• Para o root user:

  # which java
  /opt/jdk-10.0.1/bin/java
  

Valor de JAVA_HOME

• Para mim:

  $ printenv JAVA_HOME
  /opt/jdk-10.0.1/
  

• Para o root user:

  # printenv JAVA_HOME
  /opt/jdk-10.0.1
  

Alternativas de Java

    $ sudo update-alternatives --config java
    update-alternatives: error: no alternatives for java

Os locais onde defini o valor desta variável de ambiente

• Em /etc/environment

  JAVA_HOME=/opt/jdk-10.0.1
  

• No arquivo .profile em minha casa

  export JAVA_HOME="/opt/jdk-10.0.1"
  

O problema

Quando executo ~/eclipse/php-oxygen2/eclipse/eclipse para eclipse , ele é executado com êxito. Mas para o comando, ~/eclipse/php-oxygen/eclipse/eclipse , vindo do mesmo pacote, recebo o seguinte erro:

Eu estou perdido para descobrir como o valor acima foi definido.

Até o seguinte comando,

export JAVA_HOME=/opt/jdk-10.0.1/; ~/eclipse/php-oxygen/eclipse/eclipse

produz o mesmo erro.

Alguém poderia me dizer onde mais posso procurar a fonte desse valor espúrio? O Eclipse não possui uma opção nas preferências para definir JAVA_HOME (internamente).