use of Java 7 diamond operator