Avoiding diamond operator (unknown to Java 6)