Housekeeping release -- pins the exact JDK used to build the app so different build machines produce identical APKs (needed for F-Droid's reproducible-build verification), no user-facing changes.
