Use Java 7 diamond operator