Java 7 diamond operator