Use Java 7 to be consistent with new stuff