Seu /etc/bashrc define PATH interpretando o valor de $JAVA_HOME nesse momento. Ele não é reinterpretado se JAVA_HOME for alterado posteriormente. Você desejará adicionar uma linha ao script de shell de terceiros que diz: PATH=$JAVA_HOME:$PATH , de modo que oJAVA_HOME de 1,7% seja colocado no caminho antes do/etc/bashrc de JAVA_HOME de 1,8%.