Ось що я зробив. Це спрацювало.
Спочатку я встановив jdk для Java 7 так:
sudo apt-get install openjdk-7-jdk
Цього може бути достатньо: перевірте і перевірте, чи біжить javac у вашій PATH, запустивши javac -version
Якщо ні, то дотримуйтесь відповіді Миколая, за винятком того, що замість цього sudo update-alternatives --config javac
використовуйте:
sudo update-alternatives --config java
І вибрав Java 7 на підказку, ввівши 2
:
There are 2 choices for the alternative java (providing /usr/bin/java).
Selection Path Priority Status
------------------------------------------------------------
0 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java 1061 auto mode
1 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java 1061 manual mode
* 2 /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java 1051 manual mode
Press enter to keep the current choice[*], or type selection number: