Chris Vest 0fd525f859 Use j.u.Consumer interface instead of bespoke copy (#10520) ... Motivation: Fix a TODO that was due since the "master" branch is baselined on at least Java 8. Modification: Remove our own copy of the Consumer interface and fix usage sites to use j.u.Consumer. Also some cleanup. Result: Cleaner code.		2020-08-31 16:42:58 +02:00
..
src	Use j.u.Consumer interface instead of bespoke copy (#10520)	2020-08-31 16:42:58 +02:00
pom.xml	Remove duplicated declaration of dependency	2019-01-21 11:54:55 +01:00