Removed single use of Java 7's diamond operator.