นี่คือสิ่งที่ฉันทำ มันได้ผล
ก่อนอื่นฉันติดตั้ง 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: