Use Java 7 for testing.