Use Java 1.7