javac HelloWorld
está errado dessa forma, que java * c * é uma chamada para o compilador Java * c *, e você o invoca em um arquivo de origem Java, que seria HelloWorld.java no seu caso.
Então você não pode verificar a versão do javac procurando por java ou pedindo java -version . Faça javac -version e qual javac em vez disso.
Para alternar completamente entre diferentes versões, você usa
update-java-alternatives
Para mudar um programa individual (javac mas não java ou vice-versa, ou jar ou appletviewer e assim por diante)
update-alternatives --set java
Sem o sistema de alternativas, você pode alterar o PATH e inserir / usr / lib / jvm / java-7 / bin, por exemplo, ou classificá-lo antes do java-1.6.