Use Java 7 syntax.