Fix pubkey extraction on update
Replacement of !86 (closed).
Fix pubkey extraction in case of non-empty _JAVA_OPTIONS. Fixes #133 (closed).
I didn't actually run the test suite (it looks like there are some preparations to be done for that), but I checked the commands from test_fdroid_popen_stderr_redirect
in ipython.