田欧 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/resolver/dns	Java 8 migration: Use diamond operator (#8749)	2019-01-22 16:07:26 +01:00
resources	[#4289] Use a mock DNS Server for dns tests.	2015-10-10 20:27:34 +02:00