Using java7's diamond