We should revert f3a138d once we use a version of Gradle that works on Java 13, see also gradle/gradle#8681

Comment From: dreis2211

I guess this is obsolete now, isn't it?

Comment From: snicoll

Yup, thanks!