We must use Java 7