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