some IDEA intentions and Java 7 notations