田欧 9d62deeb6f Java 8 migration: Use diamond operator (#8749) ... Motivation: We can use the diamond operator these days. Modification: Use diamond operator whenever possible. Result: More modern code and less boiler-plate.		2019-01-22 16:07:26 +01:00
..
java/io/netty/handler/codec/redis	Java 8 migration: Use diamond operator (#8749)	2019-01-22 16:07:26 +01:00