Use openjdk-7-jdk