Java 7 syntax