introduce Java 7 type parameters