Java 7 notations