Use Java 7