Use Java 7 when compiling, not Java 5