田欧 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
..
src	Java 8 migration: Use diamond operator (#8749)	2019-01-22 16:07:26 +01:00
pom.xml	Correcting Maven Dependencies (#8622)	2018-12-06 09:02:00 +01:00