Java7 syntax