| commit | 4d06c5847c7289bbcc5e4c1331f64cd1e77283bd | [log] [tgz] |
|---|---|---|
| author | Patrick Rohr <prohr@google.com> | Mon Sep 08 14:06:10 2025 -0700 |
| committer | Patrick Rohr <prohr@google.com> | Mon Sep 08 14:07:47 2025 -0700 |
| tree | 8d72e56f415ac29bb3b65a63fa490239205f6c44 | |
| parent | bcd24b7326fc0cdeb787475bf68fc3d86a420ecd [diff] |
Adopt older stream collector API toList() was only added in Android 13. Change the code to use the more verbose `collect(Collectors.toList())` equivalent. Test: TH Flag: EXEMPT mainline Change-Id: I70de4202778513e42adf0137700a677b7aa773f2