Use update-java-alternatives to force Java 7