The library is used for StreetComplete (an Android app) and older versions of Android do not fully support the full Java 7/8 API. I don't remember what exactly was not supported but actually taking your PR and 1. reviewing it and 2. testing it on old Android APIs, plus coming back to you and requesting to change/remove this and that of your PR because it is not compatible with old Androids is too much effort for the gain (slightly easier to read).
westnordost
commented
4 years ago
Well, rather not.
The library is used for StreetComplete (an Android app) and older versions of Android do not fully support the full Java 7/8 API. I don't remember what exactly was not supported but actually taking your PR and 1. reviewing it and 2. testing it on old Android APIs, plus coming back to you and requesting to change/remove this and that of your PR because it is not compatible with old Androids is too much effort for the gain (slightly easier to read).