stick to Java 7