Use Java 7 diamond