Fixed a crash opening or initializing a repository on Android 12 and older (a gap in JGit's compatibility patch for newer InputStream APIs missing on those versions).
