Housekeeping release -- switches the build's required JDK version to one already available on F-Droid's build servers (fixes a build policy conflict there), no user-facing changes.
