Use Java 7.