tree 4cac0955a4f510739610ffa7d7b08cbb2455d202
parent b30c75be40d34fc844424f8fc5a71eb3fa55b6e0
author Han-Wen Nienhuys <hanwen@google.com> 1675203824 +0100
committer Han-Wen Nienhuys <hanwen@google.com> 1675245226 +0100

Avoid error-prone warning

GC.gc() returns a Future, which should not be discarded. See also
https://errorprone.info/bugpattern/FutureReturnValueIgnored

Change-Id: I343cc3cfe74a564ad7f8d53f0fe9d96a23aaed00