Use Java 1.7.