jdk7 syntax